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

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Exp.Open
@@ Property / describes a project that uses: Exp.Open / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR_SOLVE
@@ Property / describes a project that uses: CAESAR_SOLVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR
@@ Property / describes a project that uses: CAESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BISIMULATOR
@@ Property / describes a project that uses: BISIMULATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XTL
@@ Property / describes a project that uses: XTL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E-LOTOS
@@ Property / describes a project that uses: E-LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+M-TREE
@@ Property / describes a project that uses: M-TREE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fiacre
@@ Property / describes a project that uses: Fiacre / 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/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