Sound reasoning in \textit{tock}-CSP (Q2120813): Difference between revisions

@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProB
@@ Property / describes a project that uses: ProB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR3
@@ Property / describes a project that uses: FDR3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAT
@@ Property / describes a project that uses: PAT / 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.1007/s00236-020-00394-3
+Normal rank
@@ Property / OpenAlex ID @@
+W3155740349
@@ Property / OpenAlex ID: W3155740349 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735065
@@ Property / cites work: Q3735065 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757804
@@ Property / cites work: Q2757804 / rank @@
+Normal rank
@@ Property / cites work @@
+Priorities in process algebras
@@ Property / cites work: Priorities in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Proof in Real Time CSP
@@ Property / cites work: Specification and Proof in Real Time CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761679
@@ Property / cites work: Q3761679 / rank @@
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2852365
@@ Property / cites work: Q2852365 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing complex CSP models to traces via priority
+Normal rank
@@ Property / cites work @@
+Translating between models of concurrency
@@ Property / cites work: Translating between models of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Timed CSP = Closed Timed Automata1
@@ Property / cites work: Timed CSP = Closed Timed Automata1 / rank @@
+Normal rank
@@ Property / cites work @@
+Refusal testing
@@ Property / cites work: Refusal testing / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of CSP with priority
@@ Property / cites work: The expressiveness of CSP with priority / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank