Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668): Difference between revisions

@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / 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-04081-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2123152050
@@ Property / OpenAlex ID: W2123152050 / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Making the Unobservable, Unobservable
@@ Property / cites work: Making the Unobservable, Unobservable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional Petri net translation of general \(\pi\)-calculus terms
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Restriction and Priorities in CCS with Replication
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for open Petri nets based on deterministic processes
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848079
@@ Property / cites work: Q2848079 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular construction and partial order semantics of Petri nets
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Q2769427
@@ Property / cites work: Q2769427 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic view of shared dataspace coordination
+Normal rank
@@ Property / cites work @@
+Q2852064
@@ Property / cites work: Q2852064 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting for the π-calculus
@@ Property / cites work: Graph rewriting for the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858945
@@ Property / cites work: Q4858945 / rank @@
+Normal rank
@@ Property / cites work @@
+Expired data collection in shared dataspaces.
@@ Property / cites work: Expired data collection in shared dataspaces. / rank @@
+Normal rank