CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19835-9_33
+Normal rank
@@ Property / OpenAlex ID @@
+W1980824962
@@ Property / OpenAlex ID: W1980824962 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking and boolean graphs
@@ Property / cites work: Model checking and boolean graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
+Normal rank
@@ Property / cites work @@
+Q4530809
@@ Property / cites work: Q4530809 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
+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 @@
+Q4417943
@@ Property / cites work: Q4417943 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating FSP into LOTOS and networks of automata
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518897
@@ Property / cites work: Q4518897 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Rewriting of imperative programs into logical equations
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank