Compositional equivalences based on open pNets (Q2683032): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2022.100842
@@ Property / DOI: 10.1016/j.jlamp.2022.100842 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations on Data Graphs
@@ Property / cites work: Bisimulations on Data Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural semantics for asynchronous components
@@ Property / cites work: Behavioural semantics for asynchronous components / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronized behaviours of processes and rational relations
+Normal rank
@@ Property / cites work @@
+Bisimulation by Unification*
@@ Property / cites work: Bisimulation by Unification* / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic framework for open processes
@@ Property / cites work: A semantic framework for open processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for the Concurrent Constraint Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Q2763982
@@ Property / cites work: Q2763982 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Bisimulation for the Applied Pi Calculus
@@ Property / cites work: Symbolic Bisimulation for the Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity of Diagrams
@@ Property / cites work: Bisimilarity of Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Bisimulation for Quantum Processes
@@ Property / cites work: Symbolic Bisimulation for Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Q2852093
@@ Property / cites work: Q2852093 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for a calculus of broadcasting systems
+Normal rank
@@ Property / cites work @@
+A Theory for the Composition of Concurrent Processes
+Normal rank
@@ Property / cites work @@
+Q4732449
@@ Property / cites work: Q4732449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760244
@@ Property / cites work: Q2760244 / rank @@
+Normal rank
@@ Property / cites work @@
+A context dependent equivalence between processes
@@ Property / cites work: A context dependent equivalence between processes / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality Through an Operational Semantics of Contexts
+Normal rank
@@ Property / cites work @@
+Symbolic transition graph with assignment
@@ Property / cites work: Symbolic transition graph with assignment / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Symbolic Bisimulation for Full Applied Pi Calculus
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications. II
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2022.100842
@@ Property / DOI: 10.1016/J.JLAMP.2022.100842 / rank @@
+Normal rank