Models and logics for true concurrency. (Q5955751): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Q4733427
@@ Property / cites work: Q4733427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurring Dominoes: Making the Highly Undecidable Highly Understandable
+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 @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733386
@@ Property / cites work: Q4733386 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical study of distributed transition systems
@@ Property / cites work: A logical study of distributed transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733416
@@ Property / cites work: Q4733416 / rank @@
+Normal rank
@@ Property / cites work @@
+TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
+Normal rank
@@ Property / cites work @@
+Q3785913
@@ Property / cites work: Q3785913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3356298
@@ Property / cites work: Q3356298 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical characterization of well branching event structures
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776645
@@ Property / cites work: Q3776645 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective in Theoretical Computer Science
@@ Property / cites work: A Perspective in Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3832541
@@ Property / cites work: Q3832541 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for communicating systems
@@ Property / cites work: Modal logics for communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some behavioural aspects of net theory
@@ Property / cites work: Some behavioural aspects of net theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank