Discrete time process algebra (Q1914041): Difference between revisions

@@ Property / author @@
+Jos C. M. Baeten
@@ Property / author: Jos C. M. Baeten / rank @@
+Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ToolBus
@@ Property / describes a project that uses: ToolBus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Real space process algebra
@@ Property / cites work: Real space process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On sequential composition, action prefixes and process prefix
+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 @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+The discrete time TOOLBUS. -- A software coordination architecture
+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 @@
+A complete equational axiomatization for prefix iteration
+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 @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4278673
@@ Property / cites work: Q4278673 / 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 @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01214556
+Normal rank
@@ Property / OpenAlex ID @@
+W1994216518
@@ Property / OpenAlex ID: W1994216518 / rank @@
+Normal rank