Failures semantics based on interval semiwords is a congruence for refinement (Q757073): Difference between revisions

@@ Property / cites work @@
+Q3660928
@@ Property / cites work: Q3660928 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
+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 @@
+Q4430315
@@ Property / cites work: Q4430315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774958
@@ Property / cites work: Q3774958 / rank @@
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795192
@@ Property / cites work: Q3795192 / rank @@
+Normal rank
@@ Property / cites work @@
+The non-sequential behaviour of Petri nets
@@ Property / cites work: The non-sequential behaviour of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815533
@@ Property / cites work: Q3815533 / 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 @@
+Q3738569
@@ Property / cites work: Q3738569 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4741710
@@ Property / cites work: Q4741710 / rank @@
+Normal rank
@@ Property / cites work @@
+A method for stepwise refinement and abstraction of Petri nets
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics and deadlocking of modular Petri nets
+Normal rank
@@ Property / cites work @@
+Q4035680
@@ Property / cites work: Q4035680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355248
@@ Property / cites work: Q3355248 / rank @@
+Normal rank