Axiomatizing GSOS with termination (Q1878716): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2004.03.001
@@ Property / DOI: 10.1016/j.jlap.2004.03.001 / rank @@
-Normal rank
@@ Property / author @@
-Jos C. M. Baeten
@@ Property / author: Jos C. M. Baeten / rank @@
-Normal rank
@@ Property / author @@
+Jos C. M. Baeten
@@ Property / author: Jos C. M. Baeten / 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.jlap.2004.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2027519864
@@ Property / OpenAlex ID: W2027519864 / 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 @@
+Termination, deadlock, and divergence
@@ Property / cites work: Termination, deadlock, and divergence / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for compact GSOS languages
@@ Property / cites work: CPO models for compact GSOS languages / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding untimed into timed process algebra: the case for explicit termination
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736873
@@ Property / cites work: Q4736873 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373409
@@ Property / cites work: Q4373409 / 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 @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification and analysis of production systems
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753475
@@ Property / cites work: Q3753475 / rank @@
+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 @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiom systems for testing preorder and De Simone process languages
+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 / DOI @@
+.1016/J.JLAP.2004.03.001
@@ Property / DOI: 10.1016/J.JLAP.2004.03.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1878716