Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196): Difference between revisions

@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time''
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+A brief history of Timed CSP
@@ Property / cites work: A brief history of Timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808842
@@ Property / cites work: Q4808842 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional verification of asynchronous concurrent systems using CADP
+Normal rank
@@ Property / cites work @@
+Q4422085
@@ Property / cites work: Q4422085 / rank @@
+Normal rank
@@ Property / cites work @@
+CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 -- April 2, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+State space reduction for process algebra specifications
+Normal rank
@@ Property / cites work @@
+Q4942013
@@ Property / cites work: Q4942013 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling communicating processes into delay-insensitive VLSI circuits
+Normal rank
@@ Property / cites work @@
+Q3485879
@@ Property / cites work: Q3485879 / rank @@
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438761
@@ Property / cites work: Q4438761 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating FSP into LOTOS and Networks of Automata
+Normal rank
@@ Property / cites work @@
+Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank