Basic observables for processes (Q1286368): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1998.2755
@@ Property / DOI: 10.1006/inco.1998.2755 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q57650953
@@ Property / Wikidata QID: Q57650953 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1998.2755
+Normal rank
@@ Property / OpenAlex ID @@
+W2012657211
@@ Property / OpenAlex ID: W2012657211 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+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 @@
+Distributed bisimulations
@@ Property / cites work: Distributed bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721641
@@ Property / cites work: Q4721641 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733391
@@ Property / cites work: Q4733391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace, failure and testing equivalences for communicating processes
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence and fair testing
@@ Property / cites work: Divergence and fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Failures semantics and deadlocking of modular Petri nets
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/iandc/BorealeNP99
@@ Property / DBLP publication ID: journals/iandc/BorealeNP99 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1998.2755
@@ Property / DOI: 10.1006/INCO.1998.2755 / rank @@
+Normal rank