On the diversity of asynchronous communication (Q315311): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-016-0379-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2346504990
@@ Property / OpenAlex ID: W2346504990 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizability for Verification of Asynchronously Communicating Systems
+Normal rank
@@ Property / cites work @@
+Q2847798
@@ Property / cites work: Q2847798 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Asynchronous Nature of the Asynchronous π-Calculus
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous, asynchronous, and causally ordered communication
+Normal rank
@@ Property / cites work @@
+Q4864256
@@ Property / cites work: Q4864256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+On the diversity of asynchronous communication
@@ Property / cites work: On the diversity of asynchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibility and inheritance in software architectures
+Normal rank
@@ Property / cites work @@
+A generic framework for \(n\)-protocol compatibility checking
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+One Logic to Use Them All
@@ Property / cites work: One Logic to Use Them All / rank @@
+Normal rank
@@ Property / cites work @@
+CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
+Normal rank
@@ Property / cites work @@
+Distributed Computing
@@ Property / cites work: Distributed Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q4934623
@@ Property / cites work: Q4934623 / rank @@
+Normal rank
@@ Property / cites work @@
+The PlusCal Algorithm Language
@@ Property / cites work: The PlusCal Algorithm Language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Algorithms for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+The causal ordering abstraction and a simple way to implement it
+Normal rank
@@ Property / cites work @@
+Detecting causal relationships in distributed computations: In search of the holy grail
+Normal rank
@@ Property / cites work @@
+Introduction to Distributed Algorithms
@@ Property / cites work: Introduction to Distributed Algorithms / rank @@
+Normal rank