Q5114827 (Q5114827): Difference between revisions

@@ Property / author @@
-Davide Basile
@@ Property / author: Davide Basile / rank @@
-Normal rank
@@ Property / author @@
-Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
-Normal rank
@@ Property / author @@
+Davide Basile
@@ Property / author: Davide Basile / rank @@
+Normal rank
@@ Property / author @@
+Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural contracts with request-response operations
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Compliance in Behavioural Contracts: A Brief Survey
+Normal rank
@@ Property / cites work @@
+Automata for Specifying and Orchestrating Service Contracts
+Normal rank
@@ Property / cites work @@
+Relating two automata-based models of orchestration and choreography
+Normal rank
@@ Property / cites work @@
+Q5114827
@@ Property / cites work: Q5114827 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+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 @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Modal specifications for the control theory of discrete event systems
+Normal rank
@@ Property / cites work @@
+Application of supervisory control theory to theme park vehicles
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Years of Modal Transition Systems: Survey of Extensions and Analysis
+Normal rank
@@ Property / cites work @@
+An algebraic theory for web service contracts
@@ Property / cites work: An algebraic theory for web service contracts / rank @@
+Normal rank
@@ Property / cites work @@
+From Communicating Machines to Graphical Choreographies
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Session types for safe web service orchestration
@@ Property / cites work: Session types for safe web service orchestration / rank @@
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Family-Based Model Checking with mCRL2
@@ Property / cites work: Family-Based Model Checking with mCRL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
+Normal rank