A general theory of action languages (Q1286273): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225147
@@ Property / cites work: Q4225147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / 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 @@
+A process algebra for synchronous concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Q2736349
@@ Property / cites work: Q2736349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576260
@@ Property / cites work: Q5576260 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics
@@ Property / cites work: Algebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260379
@@ Property / cites work: Q4260379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312458
@@ Property / cites work: Q4312458 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for normed pushdown processes
+Normal rank
@@ Property / cites work @@
+Q3994996
@@ Property / cites work: Q3994996 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02911258
+Normal rank
@@ Property / OpenAlex ID @@
+W2116166443
@@ Property / OpenAlex ID: W2116166443 / rank @@
+Normal rank