yusuke1997/dblp-id-title huggingface dataset:
Alternating-Time Stream Logic for Multi-agent Systems
Aggregation Policies for Tuple Spaces
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations
Modeling Coordination via Asynchronous Communication
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
On Implementing Symbolic Controllability
Fault in the Future
Compositional Construction of Real-Time Dataflow Networks
Coordination and Access Control of Mobile Agents
Coordination as Comstrainted Interaction (Extended Abstract)
A Process Calculus for Mobile Ad Hoc Networks
JoT: A Jolie Framework for Testing Microservices
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks
Comparing Software Architectures for Coordination Languages
Exogenous and Endogenous Extensions of Architectural Types
ALWAN: A Skeleton Programming Language
Session Typing for a Featherweight Erlang
Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
Safe Session-Based Asynchronous Coordination in Rust
A Logical Interface Description Language for Components
Simulation and Analysis of Distributed Systems in Klaim
Aggregate Processes in Field Calculus
Manifestly Phased Communication via Shared Session Types
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings
A Calculus for Boxes and Traits in a Java-Like Setting
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
Where Do Your IoT Ingredients Come From?
A Distributed Semantics for a IWIM-Based Coordination Language
Multi-threaded Active Objects
SFJ: An Implementation of Semantic Featherweight Java
From Flow Logic to Static Type Systems for Coordination Languages
Weaving the Web Using Coordination
Concurrent METATEM as a Coordination Language
A Game Interpretation of Retractable Contracts
Formal Modeling and Analysis of Medical Systems
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
Encoding Petri Nets into CCS
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design
A Probabilistic Choreography Language for PRISM
Formal Specification of JavaSpaces Architecture Using µCRL
Asynchronous Global Types in Co-logic Programming
Coordination and System Design in a Network-Centric Age
A Process Calculus for QoS-Aware Applications
Simulation-Based Performance Analysis of Channel-Based Coordination Models
Semantics of a Higher-Order Coordination Language
An Infrastructure to Build Secure Shared Grid Spaces
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
A Simulator Framework for Embedded Systems
Scheduling Games for Concurrent Systems
Reconfiguration of Software Architecture Styles with Name Mobility
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication
A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation
Coordination of Tasks on a Real-Time OS
Relating Message Passing and Shared Memory, Proof-Theoretically
ARIADNE and HOPLa: Flexible Coordination of Collaborative Processes
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
Advice for Coordination
Sibilla: A Tool for Reasoning about Collective Systems
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings
An Enhanced Exchange Operator for XC
Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings
Enabling Cross-Technology Mobile Applications with Network-Aware References
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
Choreography and Orchestration Conformance for System Design
Spatial Edge Services - From Coordination Model to Actual Applications
Communication Requirements for Team Automata
Implementing Joins Using Extensible Pattern Matching
The Stochastic Quality Calculus
Multiparty Session Actors
A Theory of Automated Market Makers in DeFi
Tuple Spaces Implementations and Their Efficiency
Caos: A Reusable Scala Web Animator of Operational Semantics
Implementing Session Centered Calculi
Proceedings of the First International Workshop on Coordination and Organisation, CoOrg@COORDINATION 2005, Namur, Belgium, April 23, 2005
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
ARx: Reactive Programming for Synchronous Connectors
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
The Cost of Communication Protocols and Coordination Languages in Embedded Systems
Peer-Based Programming Model for Coordination Patterns
Pipelining the Molecule Soup: A Plumber's Approach to Gamma
Coordination Technology for Workflows on the Web: Workspaces
PN 2 : An Elementary Model for Design and Analysis of Multi-agent Systems
An Interference-Free Programming Model for Network Objects
Control-Based Coordination of Human and Other Activities in Cooperative Information Systems
Visualisation of Collective Systems with Sequit and Sibilla
RebeCaos
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
A Component Calculus for Modeling the Olan Configuration Language
Simulation of Conference Management Using an Even-Driven Coordination Language
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005
Requirements for Routing in the Application Layer
Composing Specifications for Coordination
Partial Connector Colouring
A Process Algebra Based on LINDA
A Monitoring Tool for Linear-Time μHML
Evolution On-the-Fly with Paradigm
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language
Global Computing in a Dynamic Network of Tuple Spaces
Characteristics of an Agent Scripting Language and Its Execution Environment
Towards a Formally Verified EVM in Production Environment
Modeling Resources for Activity Coordination and Scheduling
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
Modelling Ambulance Deployment with CarmaCARMA
Subobject Transactional Memory
Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies)
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
On the Expressiveness of Coordination Models
Implementing Multiparty Session Types in Rust
Guaranteeing Coherent Software Systems when Composing Coordinated Components
Encoding Synchronous Interactions Using Labelled Petri Nets
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Exceptionally Safe Futures
Recursive Advice for Coordination
CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination
Coordination of a Parallel Proposition Solver
Using Coordinated Actors to Model Families of Distributed Systems
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies
Automata for Context-Dependent Connectors
Modelling Railway Interlocking Tables Using Coloured Petri Nets
Encrypted Shared Data Spaces
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Social Control Mechanisms to Coordinate an Unreliable Agent Society
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
An Agent Mediated Approach to Dynamic Change in Coordination Policies
Reasoning About Choreographic Programs
The Context of Coordinating Groups in Dynamic Mobile Networks
Forward to a Promising Future
Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
VIPER: A VIsual Protocol EditoR
Tuple-Based Coordination in Large-Scale Situated Systems
Session Types for Orchestration Charts
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
Simpler Coordination of JavaScript Web Workers
Boosting Transactional Memory with Stricter Serializability
Prioritized and Parallel Reactions in Shared Data Space Coordination Languages
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
The TOOLBUS Coordination Architecture
Mobility Models and Behavioural Equivalence for Wireless Networks
Programmable Coordination Media
Logic Based Coordination for Event-Driven Self-healing Distributed Systems
Coordination Patterns for Parallel Computing
Compiler Correctness for Concurrent Languages
Three Semantics of the Output Operation for Generative Communication
Improving Gossip Dynamics Through Overlapping Replicates
Coordinating Services in Open Distributed Systems with LAURA
Evaluation of Software Architecture for a Control System: A Case Study
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Field-Based Coordination for Federated Learning
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
Communication-Passing Style for Coordination Languages
Checking Assumptions in Component Dynamics as the Architectural Level
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Stochastic Reasoning About Channel-Based Component Connectors
Safe Parallel Programming with Session Java
Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks
Open Issues and Opportunities in Web Services Modeling, Development, and Management
Towards a Colimit-Based Semantics for Visual Programming
Coordinating Phased Activities while Maintaining Progress
Component-Based Autonomic Managers for Coordination Control
Replica-Based High-Performance Tuple Space Computing
ByteSTM: Virtual Machine-Level Java Software Transactional Memory
Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols
Law-Governed Internet Communities
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
A Social Software-Based Coordination Platform - Tool Paper
The Concurrent Calculi Formalisation Benchmark
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Optimistic Concurrency Semantics for Transactions in Coordination Languages
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets
A Timed Linda Language
Coordinating Mobile Agents via Blackboards and Access Rights
Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks
Event Loop Coordination Using Meta-programming
A Component-Based Parallel Constraint Solver
Node Coordination in Peer-to-Peer Networks
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
A Coordination Model for Triplespace Computing
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006
From Layer to Layer - Object-Oriented Protocol Refinement in Kannel
MobileML: A Programming Language for Mobile Computation
Multiparty Sessions in SOC
Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Coordinating Mobile Object-Oriented Code
µ 2 Log: Towards Remote Coordination
Time-Fluid Field-Based Coordination
Progress as Compositional Lock-Freedom
On the Realizability of Contracts in Dishonest Systems
Context-Based Adaptation of Component Behavioural Interfaces
Extensible 3D Simulation of Aggregated Systems with FCPP
Choreographic Development of Message-Passing Applications - A Tutorial
Component Connectors with QoS Guarantees
Coordinating Action Systems
Space-Time Universality of Field Calculus
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
Architecture Modelling of Parametric Component-Based Systems
A Demonstrator for Self-organizing Robot Teams
Regulated Coordination in Open Distributed Systems
A Recovery Technique Using Multi-agent in Distributed Computing Systems
Formalizing Errors in CCS with 3-Valued Logic
Modeling Railway Control Systems Using Graph Grammars: A Case Study
Automated Evaluation of Coordination Approaches
State- and Event-Based Reactive Programming in Shared Dataspaces
Safer Tuple Spaces
Event-Based Customization of Multi-tenant SaaS Using Microservices
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Towards Distributed Reactive Programming
A Self-Deploying Election Service for Active Networks
A Coordination Model for Distributed Object Systems
Distributed Workflow upon Linkable Coordination Artifacts
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
Team Automata: Overview and Roadmap
Compositionality, Coordination and Software Architecture
A Model of Actors and Grey Failures
Formalizing Properties of Mobile Agent Systems
Coordination with Attributes
Typing Progress in Communication-Centred Systems
Coordination Systems in Role-Based Adaptive Software
A Theory of Nested Speculative Execution
Coordination Durative Actions
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models
Exposing the Skeleton in the Coordination Closet
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks
Proceedings of the International Workshop on Database Interoperability, InterDB@COORDINATION 2005, Namur, Belgium, April 23, 2005
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
Fluid Analysis of Foraging Ants
Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal
Modelling MAC-Layer Communications in Wireless Systems
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
Actors That Unify Threads and Events
Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions
An Efficient Management of Correlation Sets with Broadcast
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
A Hierarchical Model for Coordination of Concurrent Activities
Understanding Behavior of Business Process Models
Abstract Interpretation-Based Verification of Non-functional Requirements
Choreography Automata
Scan: A Simple Coordination Workbench
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming
Full-Abstraction for Must Testing Preorders - (Extended Abstract)
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
Affine Sessions
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
On Synchronous and Asynchronous Compatibility of Communicating Components
Policies for Cooperative Virtual Teams
Combining SLiVER with CADP to Analyze Multi-agent Systems
Coordination in a Reflective Architecture Description Language
Atomic Commit and Negotiation in Service Oriented Computing
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory
Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps
The share Operator for Field-Based Coordination
Rule-Based Form for Stream Constraints
Security Benefits from Software Architecture
Nepi: A Network Programming Language Based on the pi-Calculus
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications
Operational Representation of Dependencies in Context-Dependent Event Structures
Team Automata@Work: On Safe Communication
From Field-Based Coordination to Aggregate Computing
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Designing a Coordination Model for Open Systems
Real-Time Coordination Patterns for Advanced Mechatronic Systems
Partial Order and SOS Semantics for Linear Constraint Programs
A Lightweight Coordination Middleware for Mobile Computing
Approximating UNITY
Renegotiation and Recursion in Bitcoin Contracts
Choreographic Automata: A Case Study in Healthcare Management
AErlang: Empowering Erlang with Attribute-Based Communication
Wilde: Supporting Change in Groupware
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Coordination Among Mobile Objects
Scalable Efficient Composite Event Detection
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings
On Timed Coordination Languages
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations
Hybrid Models for Mobile Computing
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Hop, a Fast Server for the Diffuse Web
Coordination-Based Design of Distributed Systems
On Calculi for Context-Aware Coordination
Verification of Concurrent Design Patterns with Data
A Uniform Framework for Modeling and Verifying Components and Connectors
No More, No Less - A Formal Model for Serverless Computing
Many-to-Many Information Flow Policies
Enforcing Distributed Information Flow Policies Architecturally: The SAID Approach
Coordinating Software Evolution via Two-Tier Programming
Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages
Klaim-DB: A Modeling Language for Distributed Database Applications
Towards a Periodic Table of Connectors
Coordination of Synchronous Programs
Distributed Splitting of Constraint Satisfaction Problems
Integrating Coordination Features in PVM
How to Infer Finite Session Types in a Calculus of Services and Sessions
Constraint-Flow Nets: A Model for Building Constraints from Resource Dependencies
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Deconfined Global Types for Asynchronous Sessions
Scheduling Open-Nested Transactions in Distributed Transactional Memory
A Semantic Theory of the Internet of Things - (Extended Abstract)
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets
From Coordination to Stochastic Models of QoS
Development Tools for Rule-Based Coordination Programming in LINC
A Case Study of Integration of a Software Process Management System with Software Engineering Environments for Process Monitoring and Management
A Session Subtyping Tool
First-Order Dynamic Logic for Compensable Processes
A Case Study of Web Services Orchestration
Self-organising Coordination Regions: A Pattern for Edge Computing
Fact Spaces: Coordination in the Face of Disconnection
Broadcasting in Time
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
Rollback Recovery in Session-Based Programming
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments
The IWIM Model for Coordination of Concurrent Activities
A Theory for Strong Service Compliance
A Prolog-Based Language for Workflow Programming
Relating Functional and Imperative Session Types
Towards a Compositional Method for Coordinating Gamma Programs
Probabilistic KLAIM
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Berlinda: An Object-Oriented Platform for Implementing Coordination Languages in Java
Presence and Instant Messaging via HTTP /1.1: A Coordination Perspective
TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts)
Active Coordination in Ad Hoc Networks
Resilient Distributed Collection Through Information Speed Thresholds
A Group Based Approach for Coordinating Active Objects
The Future of a Missed Deadline
Efficient Session Type Guided Distributed Interaction
An Associative Broadcast Based Coordination Model for Distributed Processes
A Calculus for Mobile Ad Hoc Networks
Pattern Matching and Bisimulation
A Framework for Coordinating Parallel Branch and Bound Algorithms
Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility
Towards Probabilistic Session-Type Monitoring
A Formal MDE Framework for Inter-DSL Collaboration
LINC: A Compact Yet Powerful Coordination Environment
A Coordination Model Agents Based on Secure Spaces
On the Verification of Coordination
Workflow Patterns in Orc
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment
Coconut: Typestates for Embedded Systems
Fairness for Chorded Languages
Coordination of ECA Rules by Verification and Control
Interactive Interaction Constraints
Static Analysis of Real-Time Component-Based Systems Configurations
Coordination for Orchestration
SEArch: An Execution Infrastructure for Service-Based Software Systems
Safe Asynchronous Mixed-Choice for Timed Interactions
Verifying Timed BPMN Processes Using Maude
On the Expressiveness of Absolute-Time Coordination Languages
Behavioural Contracts with Request-Response Operations
Weighted PCL over Product Valuation Monoids
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision
Scoped Coordination in Open Distributed Systems
A Denotational View of Replicated Data Types
Using Asynchronous Tuple-Space Access Primitives (BONITA Primitives) for Process Co-ordination
Intra- and Inter-Object Coordination with MESSENGERS