Rule formats for determinism and idempotence (Q433348): Difference between revisions

@@ Property / cites work @@
+Rule Formats for Determinism and Idempotence
@@ Property / cites work: Rule Formats for Determinism and Idempotence / 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 @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rule Format for Unit Elements
@@ Property / cites work: A Rule Format for Unit Elements / 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 @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Rule Format for Associativity
@@ Property / cites work: A Rule Format for Associativity / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
+Normal rank
@@ Property / cites work @@
+Structural operational semantics and bounded nondeterminism
+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 @@
+Q3794154
@@ Property / cites work: Q3794154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and expressiveness of ordered SOS
@@ Property / cites work: Semantics and expressiveness of ordered SOS / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic commutativity format for SOS
@@ Property / cites work: A syntactic commutativity format for SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+SOS formats and meta-theory: 20 years after
@@ Property / cites work: SOS formats and meta-theory: 20 years after / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+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 @@
+Rule formats for compositional non-interference properties
+Normal rank
@@ Property / cites work @@
+Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
+Normal rank
@@ Property / cites work @@
+Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics with First-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank