Progress-preserving Refinements of CTA (Q5009458): Difference between revisions

@@ label / en / label / en @@
+Progress-preserving Refinements of CTA
@@ Property / cites work @@
+Perfect timed communication is hard
@@ Property / cites work: Perfect timed communication is hard / rank @@
+Normal rank
@@ Property / cites work @@
+Sampled Semantics of Timed Automata
@@ Property / cites work: Sampled Semantics of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4596804
@@ Property / cites work: Q4596804 / rank @@
+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 @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting Deadlines Together
@@ Property / cites work: Meeting Deadlines Together / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Multiparty Session Types
@@ Property / cites work: Timed Multiparty Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of asynchronous session subtyping
@@ Property / cites work: Undecidability of asynchronous session subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement-based process algebra for timed automata
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25--27, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5278078
@@ Property / cites work: Q5278078 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Timed Specification Theories: A Linear-Time Perspective
+Normal rank
@@ Property / cites work @@
+Reachability of Communicating Timed Processes
@@ Property / cites work: Reachability of Communicating Timed Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction in a Subtyped pi-Calculus with Linear Types
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction Refinement for Timed Automata
+Normal rank
@@ Property / cites work @@
+Q2844829
@@ Property / cites work: Q2844829 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+Robust synthesis for real-time systems
@@ Property / cites work: Robust synthesis for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid I/O automata.
@@ Property / cites work: Hybrid I/O automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Session-Based Communication Optimisation for Higher-Order Mobile Processes
+Normal rank
@@ Property / cites work @@
+Global Principal Typing in Partially Commutative Asynchronous Sessions
+Normal rank
@@ Property / cites work @@
+Timed runtime monitoring for multiparty conversations
+Normal rank
@@ Property / cites work @@
+Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings
+Normal rank
@@ Property / cites work @@
+Kronos: A verification tool for real-time systems
@@ Property / cites work: Kronos: A verification tool for real-time systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://dblp.uni-trier.de/db/conf/concur/concur2018.html#BartolettiBM18
+Normal rank
@@ Property / OpenAlex ID @@
+W2889529583
@@ Property / OpenAlex ID: W2889529583 / rank @@
+Normal rank
@@ Property / title @@
+Progress-preserving Refinements of CTA (English)
@@ Property / title: Progress-preserving Refinements of CTA (English) / rank @@
+Normal rank