Verifiable abstractions for contract-oriented systems (Q347375): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.10.005
@@ Property / DOI: 10.1016/j.jlamp.2015.10.005 / rank @@
-Normal rank
@@ 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/j.jlamp.2015.10.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2199920120
@@ Property / OpenAlex ID: W2199920120 / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-Oriented Computing in CO2
@@ Property / cites work: Contract-Oriented Computing in CO2 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Lending Petri Nets and Contracts
@@ Property / cites work: Lending Petri Nets and Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Agreements and Protection
@@ Property / cites work: A Theory of Agreements and Protection / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+On Global Types and Multi-Party Session
@@ Property / cites work: On Global Types and Multi-Party Session / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising Choreographies from Local Session Types
+Normal rank
@@ Property / cites work @@
+Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Choreographies, Logically
@@ Property / cites work: Choreographies, Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Using Higher-Order Contracts to Model Session Types (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+A Semantic Deconstruction of Session Types
@@ Property / cites work: A Semantic Deconstruction of Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Combining behavioural types with security analysis
+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 @@
+On the Realizability of Contracts in Dishonest Systems
+Normal rank
@@ Property / cites work @@
+Compliance in Behavioural Contracts: A Brief Survey
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q2851053
@@ Property / cites work: Q2851053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851059
@@ Property / cites work: Q2851059 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994122
@@ Property / cites work: Q4994122 / rank @@
+Normal rank
@@ Property / cites work @@
+Compliance and Subtyping in Timed Session Types
@@ Property / cites work: Compliance and Subtyping in Timed Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+Deadlock-freedom-by-design
@@ Property / cites work: Deadlock-freedom-by-design / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and Verifying Contract-Oriented Systems in Maude
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.10.005
@@ Property / DOI: 10.1016/J.JLAMP.2015.10.005 / rank @@
+Normal rank