Session-based concurrency in Maude: executable semantics and type checking (Q6156938): Difference between revisions

@@ Property / cites work @@
+Modelling and Verifying Contract-Oriented Systems in Maude
+Normal rank
@@ Property / cites work @@
+Verifiable abstractions for contract-oriented systems
+Normal rank
@@ Property / cites work @@
+Q4963910
@@ Property / cites work: Q4963910 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Global progress for dynamically interleaved multiparty sessions
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+A new linear logic for deadlock-free session-typed processes
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping Supports Safe Session Substitution
@@ Property / cites work: Subtyping Supports Safe Session Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic bisimulation for higher-order session processes
+Normal rank
@@ Property / cites work @@
+On the relative expressiveness of higher-order session processes
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock and lock freedom in the linear π-calculus
+Normal rank
@@ Property / cites work @@
+A simple library implementation of binary sessions
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703692
@@ Property / cites work: Q2703692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851059
@@ Property / cites work: Q2851059 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of session types
@@ Property / cites work: Fundamentals of session types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222852
@@ Property / cites work: Q4222852 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank