A causal semantics for CCS via rewriting logic (Q1606128): Difference between revisions

@@ Property / author @@
-Pierpaolo Degano
@@ Property / author: Pierpaolo Degano / rank @@
-Normal rank
@@ Property / author @@
-Corrado Priami
@@ Property / author: Corrado Priami / rank @@
-Normal rank
@@ Property / author @@
+Pierpaolo Degano
@@ Property / author: Pierpaolo Degano / rank @@
+Normal rank
@@ Property / author @@
+Corrado Priami
@@ Property / author: Corrado Priami / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q3750994
@@ Property / cites work: Q3750994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222997
@@ Property / cites work: Q4222997 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for infinite term rewriting
@@ Property / cites work: CPO models for infinite term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839071
@@ Property / cites work: Q3839071 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating two categorical models of term rewriting
@@ Property / cites work: Relating two categorical models of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A partial ordering semantics for CCS
@@ Property / cites work: A partial ordering semantics for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the algebra of net computations and processes
+Normal rank
@@ Property / cites work @@
+Proved trees
@@ Property / cites work: Proved trees / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222848
@@ Property / cites work: Q4222848 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing locality and causality based equivalences
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Rewriting logic as a semantic framework for concurrency: a progress report
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:1606128