GSOS and finite labelled transition systems (Q1331924): Difference between revisions

@@ 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/0304-3975(94)90094-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2038789187
@@ Property / OpenAlex ID: W2038789187 / 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 @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+On guarded recursion
@@ Property / cites work: On guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036587
@@ Property / cites work: Q4036587 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Proving finiteness of CCS processes by non-standard semantics
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+A term model for synchronous processes
@@ Property / cites work: A term model for synchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / 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 @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037106
@@ Property / cites work: Q4037106 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1331924