Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718): 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 @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing prefix iteration with silent steps
@@ Property / cites work: Axiomatizing prefix iteration with silent steps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375631
@@ Property / cites work: Q4375631 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination
+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 @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+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 @@
+Rooted branching bisimulation as a congruence
@@ Property / cites work: Rooted branching bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+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 @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal definition of time in LOTOS
@@ Property / cites work: A formal definition of time in LOTOS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929062
@@ Property / cites work: Q3929062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+An operational semantics for timed CSP
@@ Property / cites work: An operational semantics for timed CSP / 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 @@
+Finite axiom systems for testing preorder and De Simone process languages
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered SOS process languages for branching and eager bisimulations
+Normal rank
@@ Property / cites work @@
+Q4536608
@@ Property / cites work: Q4536608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and divergence
@@ Property / cites work: Bisimulation and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733394
@@ Property / cites work: Q4733394 / rank @@
+Normal rank