Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems (Q4032915): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207169208804127
+Normal rank
@@ Property / OpenAlex ID @@
+W2017513308
@@ Property / OpenAlex ID: W2017513308 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Nonclausal deduction in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Liveness Properties of Concurrent Programs
+Normal rank
@@ Property / cites work @@
+The ``Hoare Logic'' of CSP, and All That
@@ Property / cites work: The ``Hoare Logic'' of CSP, and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Adequate proof principles for invariance and liveness properties of concurrent programs
+Normal rank
@@ Property / cites work @@
+A theorem on atomicity in distributed algorithms
@@ Property / cites work: A theorem on atomicity in distributed algorithms / rank @@
+Normal rank