|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7468 occurrences of 3075 keywords
|
|
|
Results
Found 17405 publication records. Showing 17405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Farhad Arbab, Éric Monfroy |
Distributed Splitting of Constraint Satisfaction Problems. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Jeremy L. Jacob, Alan M. Wood |
A Principled Semantics for inp. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Martin Weichert |
Pipelining the Molecule Soup: A Plumber's Approach to Gamma. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Cecilia Mascolo |
MobiS: A Specification Language for Mobile Systems. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Bram Klievink, Marijn Janssen |
Coordinating e-government service delivery. |
DG.O |
2010 |
DBLP BibTeX RDF |
multichannel management, coordination, e-government, service delivery, intermediation |
35 | Stefan Craß, Eva Kühn, Gernot Salzer |
Algebraic foundation of a data model for an extensible space-based collaboration protocol. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
extensible virtual shared memory, language independent protocol, coordination, query language, data model, tuple spaces, space-based computing |
35 | Juha Puustjärvi |
Ensuring recoverability in composing web services. |
iiWAS |
2009 |
DBLP DOI BibTeX RDF |
web services, orchestration, atomic transactions, WS-coordination |
35 | Maya Daneva, Roel J. Wieringa |
A requirements engineering framework for cross-organizational ERP systems. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Business/IT misalignment, Cross-organizational coordination, Enterprise resource planning, Requirements engineering process |
35 | Jorge J. Gómez-Sanz, Juan Pavón |
Defining coordination in multi-agent systems within an agent oriented software engineering methodology. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
coordination modeling, agent interaction, agent coordination |
35 | Marlon Dumas, Tore Fjellheim, Stephen Milliner, Julien Vayssière |
Event-Based Coordination of Process-Oriented Composite Applications. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
flexible process execution, event-based coordination, coordination middleware, activity diagram, object space |
35 | Damián Arregui, François Pacull, Michel Riviere |
Heterogeneous Component Coordination: The CLF Approach. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans |
35 | Paolo Ciancarini |
Modeling the software process using coordination rules. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
coordination rules, software system production lifecycle, software process specification, dynamic knowledge base, process-centered development environments, coordination, programming environments, computer aided software engineering, software development process, software process modeling, rule-based program, logic programming languages, logic programming languages, enactment, project support environments, rule-based languages, project database |
34 | Holger Kasinger, Jörg Denzinger, Bernhard Bauer |
Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
self-organization, emergence, decentralized coordination |
34 | Manh Tung Pham, Kiam Tian Seow |
On-line coordination among discrete-event agents. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
discrete-event modeling, multiagent coordination |
34 | W. Henk Zijm, Judith Timmer |
Coordination mechanisms for inventory control in three-echelon serial and distribution systems. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Multi-echelon system, Nash equilibrium, Supply chain, Coordination mechanism, Inventory control, Strategic game |
34 | Basil Becker, Holger Giese |
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation |
34 | Kaveh Fayazbakhsh, Mohammadreza Razzazi |
Coordination of a Multi-commodity Supply Chain with Multiple Members Using Flow Networks. |
ICDS |
2008 |
DBLP DOI BibTeX RDF |
e-hub, multi-commodity, coordination, supply chain, flow networks |
34 | Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall |
Pantaxou: a domain-specific language for developing safe coordination services. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, safety, domain-specific languages, architecture description languages, coordination languages |
34 | David E. Ott, Ketan Mayer-Patel |
An open architecture for transport-level protocol coordination in distributed multimedia applications. |
ACM Trans. Multim. Comput. Commun. Appl. |
2007 |
DBLP DOI BibTeX RDF |
flow coordination, distributed applications, Network protocols |
34 | Tim Miller 0001, Peter McBurney, Jarred McGinnis, Kostas Stathis |
First-Class Protocols for Agent-Based Coordination of Scientific Instruments. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
web services, multi-agent systems, coordination, interaction protocols |
34 | Isaac Chao, Oscar Ardaiz, Ramon Sangüesa |
Tag Mechanisms Evaluated for Coordination in Open Multi-Agent Systems. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
group selection, prisoner’s dilemma, multi-agent systems, coordination, Tags, cooperative games |
34 | Limin Shen, Feng Li 0017, Shangping Ren, Yunfeng Mu |
Dynamic Composition of Web Service Based on Coordination Model. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
Web service, coordination, role, separation of concern, dynamic service composition |
34 | Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. Wielinga |
The effect of task and environment factors on M.A.S. coordination and reorganization. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
coordination cooperation and teamwork, social and organizational structures |
34 | Ping Xuan |
Modeling plan coordination in multiagent decision processes. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
coordination, multiagent systems, cooperation, teamwork, multiagent planning |
34 | David Hales, Stefano Arteconi |
SLACER: A Self-Organizing Protocol for Coordination in Peer-to-Peer Networks. |
IEEE Intell. Syst. |
2006 |
DBLP DOI BibTeX RDF |
social networks, coordination, P2P, cooperation, self-organization |
34 | Gordan Jezic, Mario Kusek, Vjekoslav Sinkovic |
Teamwork Coordination in Large-Scale Mobile Agent Networks. |
KES (1) |
2006 |
DBLP DOI BibTeX RDF |
Grid, mobile agents, coordination, teamwork, large-scale network |
34 | Kaiyu Wan, Vasu S. Alagar |
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems |
34 | Jeffrey S. Cox, Edmund H. Durfee, Thomas Bartold |
A distributed framework for solving the Multiagent Plan Coordination Problem. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multiagent planning and merging, distributed constraint optimization, coordination of multiple agents |
34 | Gianluca Moro, Antonio Natali |
On the event coordination in multi-component systems. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
component, coordination, observation, event, system |
34 | Avraam Chimaris, George A. Papadopoulos |
Control-Driven Coordination Based Assembling of Components. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Coordination Languages and Models, System and Software Architectures, Distributed Software Composition, Component-Based System Integration, Visual Programming, Reusability |
34 | P. R. Balasubramanian, George M. Wyner, Nitin R. Joglekar |
The Role of Coordination and Architecture in Supporting ASP Business Models. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
Architecture, Knowledge management, Business processes, Organizational design, ASP, Coordination theory |
34 | Naftaly H. Minsky, Victoria Ungureanu |
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
coordination of heterogeneous agents, scalability, policy enforcement |
34 | Gurdip Singh, Arvind Gopalan |
A Coordination Service for Distributed Applications. |
WETICE |
1999 |
DBLP DOI BibTeX RDF |
Coordination, Open systems, Collaborative applications, Session management |
34 | Ir McChesney |
Effective coordination in the software process - historical perspectives and future directions. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
multi-party activity, coordination, software process |
33 | Matthew Johnson 0001, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch |
Human-robot coordination through dynamic regulation. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Eva Kühn, Richard Mordinyi, Christian Schreiber |
An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, . |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Alain Sarlette, Silvère Bonnabel, Rodolphe Sepulchre |
Coordination on Lie groups. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Matthew Johnson 0001, Paul J. Feltovich, Jeffrey M. Bradshaw, Larry Bunch |
Demonstrating Human-Robot Coordination through Dynamic Regulation. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
policy, domain, demo |
33 | Sangmin Kim, VamsiKrishna Vasireddy, Khaled Harfoush |
Scalable coordination for sensor networks in challenging environments. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, sensor networks, routing, mobility |
33 | Pedro L. Pérez-Serrano, Marisol Sánchez-Alonso |
COPA-CASE: Methodological Environment for the Generation, Application and Validation of Coordination Patterns. |
OTM Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini |
ROSE: A transactional services coordination engine. |
ENC |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Adnene Guabtni, François Charoy, Claude Godart |
Concurrency Management in Transactional Web Services Coordination. |
DEXA |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Thierry Moyaux, Ben Lithgow Smith, Shamimabi Paurobally |
Towards Service-Oriented Ontology-Based Coordination. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Manfred Bortenschlager, Sigi Reich, Gabriele Kotsis |
A Generic Coordination Architecture as an Enabler for Mobile Collaborative Applications. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Ricci |
Agents and Coordination Artifacts for Feature Engineering. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Radu Handorean, Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman |
Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mikhail Prokopenko, Peter Wang |
Relating the Entropy of Joint Beliefs to Multi-agent Coordination. |
RoboCup |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Alberto Barbosa Raposo, Léo Pini Magalhães, Ivan Luiz Marques Ricarte, Hugo Fuks |
Coordination of Collaborative Activities: A Framework for the Definition of Tasks Interdependencies. |
CRIWG |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Patrick Etcheverry, Philippe Lopistéguy, Pantxika Dagorret |
Specifying Contexts for Coordination Patterns. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya |
Integration of Task and Data Parallelism: A Coordination-Based Approach. |
HiPC |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Farhad Arbab |
The Influence of Coordination on Program Structure. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Steven Lucco, Oliver Sharp |
Delirium: an embedding coordination language. |
SC |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Ichiro Nishizaki, Tomohiro Hayashida, Hideki Katagiri, Noriyuki Hara |
Agent-Based Simulation Analysis for Equilibrium Selection and Coordination Failure in Coordination Games Characterized by the Minimum Strategy. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
coordination games, agent-based simulation, adaptive agents |
33 | João Certo, Nuno Lau, Luís Paulo Reis |
A generic multi-robot coordination strategic layer. |
ROBOCOMM |
2007 |
DBLP DOI BibTeX RDF |
distributed coordination of mobile robots |
33 | Thomas Wagner 0001, Valerie Guralnik, John Phelps |
A key-based coordination algorithm for dynamic readiness and repair service coordination. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
TAEMS, multi-agent systems, real-time, coordination, intelligent agents, dynamic, teams |
33 | Prasanta K. Bose, Xiaoqing Zhou |
WWAC: WinWin abstraction based decision coordination. |
WACC |
1999 |
DBLP DOI BibTeX RDF |
decision coordination, collaborative design, change management |
32 | Edmund H. Durfee |
Planning for Coordination and Coordination for Planning. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini |
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Sung-Shik Jongmans, Antónia Lopes (eds.) |
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Frank Pfenning, Klaas Pruiksma |
Relating Message Passing and Shared Memory, Proof-Theoretically. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
Reasoning About Choreographic Programs. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Valentina Castiglioni, Michele Loreti, Simone Tini |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | José Proença, Luc Edixhoven |
Caos: A Reusable Scala Web Animator of Operational Semantics. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega |
A Formal MDE Framework for Inter-DSL Collaboration. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jonah Pears, Laura Bocchi, Andy King |
Safe Asynchronous Mixed-Choice for Timed Interactions. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli |
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Claudio Antares Mezzina, Francesco Tiezzi 0001, Nobuko Yoshida |
Rollback Recovery in Session-Based Programming. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins |
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Cosimo Laneve, Alessandro Parenti, Giovanni Sartor |
Legal Contracts Amending with [inline-graphic not available: see fulltext]. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli |
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Loïc Desgeorges, Loïc Germerie Guizouarn |
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana |
JoT: A Jolie Framework for Testing Microservices. |
COORDINATION |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Maurice H. ter Beek, Marjan Sirjani (eds.) |
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
Towards Reinforcement Learning-based Aggregate Computing. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
A Sound Up-to-n, δ Bisimilarity for PCTL. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
Extensible 3D Simulation of Aggregated Systems with FCPP. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
A Model of Actors and Grey Failures. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir |
A Monitoring Tool for Linear-Time μHML. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Nicola Del Giudice 0002, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
Sibilla: A Tool for Reasoning about Collective Systems. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Casadei, Stefano Mariani 0001, Danilo Pianini, Mirko Viroli, Franco Zambonelli |
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Wang Yi 0001, Morteza Mohaqeqi, Susanne Graf |
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
Formal Choreographic Languages. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Luca Viganò 0001 |
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Laura Bussi, Fabio Gadducci, Francesco Santini 0001 |
Soft Concurrent Constraint Programming with Local Variables. |
COORDINATION |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Ferruccio Damiani, Ornela Dardha (eds.) |
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
Microservice Dynamic Architecture-Level Deployment Orchestration. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | João Mota, Marco Giunti, António Ravara |
Java Typestate Checker. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Chad Nester |
The Structure of Concurrent Process Histories. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Hannes Saffrich, Peter Thiemann 0001 |
Relating Functional and Imperative Session Types. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
Towards Probabilistic Session-Type Monitoring. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
Deconfined Global Types for Asynchronous Sessions. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Chuta Sano, Stephanie Balzer, Frank Pfenning |
Manifestly Phased Communication via Shared Session Types. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
A Theory of Automated Market Makers in DeFi. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Davide Basile 0001, Maurice H. ter Beek |
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
A Session Subtyping Tool. |
COORDINATION |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 17405 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|