A general conservative extension theorem in process algebras with inequalities (Q1391791): Difference between revisions

@@ Property / cites work @@
+Observation equivalence as a testing equivalence
@@ Property / cites work: Observation equivalence as a testing equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+On relating concurrency and nondeterminism
@@ Property / cites work: On relating concurrency and nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4013244
@@ Property / cites work: Q4013244 / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525274
@@ Property / cites work: Q4525274 / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Q4490741
@@ Property / cites work: Q4490741 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and atomicity
@@ Property / cites work: Concurrency and atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
+Normal rank
@@ Property / cites work @@
+A conservative look at operational semantics with variable binding
+Normal rank
@@ Property / cites work @@
+Q4116038
@@ Property / cites work: Q4116038 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336736
@@ Property / cites work: Q3336736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4278673
@@ Property / cites work: Q4278673 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Q3727392
@@ Property / cites work: Q3727392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+ACP '95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17--18, 1995
+Normal rank
@@ Property / cites work @@
+Q3753475
@@ Property / cites work: Q3753475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818861
@@ Property / cites work: Q4818861 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of communicating processes with empty process
+Normal rank
@@ Property / cites work @@
+Bisimulation and divergence
@@ Property / cites work: Bisimulation and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00292-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1946227193
@@ Property / OpenAlex ID: W1946227193 / rank @@
+Normal rank