A framework for specifying and verifying the behaviour of open systems (Q1779319): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2004.05.004
@@ Property / DOI: 10.1016/j.jlap.2004.05.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rapide
@@ Property / describes a project that uses: Rapide / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MANIFOLD
@@ Property / describes a project that uses: MANIFOLD / 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.1016/j.jlap.2004.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1996632489
@@ Property / OpenAlex ID: W1996632489 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62046308
@@ Property / Wikidata QID: Q62046308 / rank @@
+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 @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3579033
@@ Property / cites work: Q3579033 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738168
@@ Property / cites work: Q4738168 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation by Unification*
@@ Property / cites work: Bisimulation by Unification* / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046793
@@ Property / cites work: Q3046793 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BraccialiBT05
@@ Property / DBLP publication ID: journals/jlp/BraccialiBT05 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2004.05.004
@@ Property / DOI: 10.1016/J.JLAP.2004.05.004 / rank @@
+Normal rank