Author:
Katoen Joost-Pieter,Baier Christel,Latella Diego
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Domain theory;Abramsky,1994
2. Timing and causality in process algebra;Aceto;Acta Inform.,1996
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. Using timed CSP for specification verification and analysis of multi-media synchronization;Ates;IEEE J. Selected Areas Comm.,1996
5. Metric semantics for true concurrent real time;Baier,1998
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
3. SOS specifications for uniformly continuous operators;Journal of Computer and System Sciences;2018-03
4. Dynamic Resource Reallocation between Deployment Components;Formal Methods and Software Engineering;2010
5. Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net;Lecture Notes in Computer Science;2009