SOS rule formats for zero and unit elements (Q549170): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2011.01.024
@@ Property / DOI: 10.1016/j.tcs.2011.01.024 / rank @@
-Normal rank
@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5918226
@@ Property / zbMATH DE Number: 5918226 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+structural operational semantics (SOS)
@@ Property / zbMATH Keywords: structural operational semantics (SOS) / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rule formats
@@ Property / zbMATH Keywords: rule formats / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimilarity
@@ Property / zbMATH Keywords: bisimilarity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+unit elements
@@ Property / zbMATH Keywords: unit elements / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+zero elements
@@ Property / zbMATH Keywords: zero elements / 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.1016/j.tcs.2011.01.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2063085985
@@ Property / OpenAlex ID: W2063085985 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57745599
@@ Property / Wikidata QID: Q57745599 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule Formats for Determinism and Idempotence
@@ Property / cites work: Rule Formats for Determinism and Idempotence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150127
@@ Property / cites work: Q5150127 / rank @@
+Normal rank
@@ Property / cites work @@
+On Rule Formats for Zero and Unit Elements
@@ Property / cites work: On Rule Formats for Zero and Unit Elements / 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 @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing GSOS with termination
@@ Property / cites work: Axiomatizing GSOS with termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028334
@@ Property / cites work: Q3028334 / 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 @@
+Preferential choice and coordination conditions
@@ Property / cites work: Preferential choice and coordination conditions / 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 @@
+A Rule Format for Associativity
@@ Property / cites work: A Rule Format for Associativity / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+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 @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749207
@@ Property / cites work: Q4749207 / 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 @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.01.024
@@ Property / DOI: 10.1016/J.TCS.2011.01.024 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549170