Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract)
暂无分享,去创建一个
[1] Norbert Götz,et al. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.
[2] Robert K. Brayton,et al. Verifying Continuous Time Markov Chains , 1996, CAV.
[3] Rance Cleaveland,et al. Priority and abstraction in process algebra , 1994, Inf. Comput..
[4] Robert E. Tarjan,et al. Three Partition Refinement Algorithms , 1987, SIAM J. Comput..
[5] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[6] Jan A. Bergstra,et al. On the Consistency of Koomen's Fair Abstraction Rule , 1987, Theor. Comput. Sci..
[7] Holger Hermanns,et al. Observational Congruence in a Stochastic Timed Calculus with Maximal Progress , 1997 .
[8] Arend Rensink,et al. Fair testing , 1995, Inf. Comput..
[9] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.
[10] Jan A. Bergstra,et al. Failures without chaos: a new process semantics for fair abstraction , 1987, Formal Description of Programming Concepts.
[11] Rance Cleaveland,et al. Priorities in process algebras , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[12] Holger Hermanns,et al. Stochastic Process Algebras - Between LOTOS and Markov Chains , 1998, Comput. Networks.
[13] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[14] D. J. Walker,et al. Bisimulation and Divergence , 1990, Inf. Comput..
[15] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[16] Joost-Pieter Katoen,et al. An algebraic approach to the specification of stochastic systems , 1998, PROCOMET.
[17] Michael Mendler,et al. An Asynchronous Algebra with Multiple Clocks , 1994, ESOP.
[18] William Feller,et al. An Introduction to Probability Theory and Its Applications , 1967 .
[19] Feller William,et al. An Introduction To Probability Theory And Its Applications , 1950 .
[20] Roberto Gorrieri,et al. Extended Markovian Process Algebra , 1996, CONCUR.
[21] Matthew Hennessy,et al. A Process Algebra for Timed Systems , 1995, Inf. Comput..
[22] William J. Stewart,et al. Introduction to the numerical solution of Markov Chains , 1994 .
[23] Rance Cleaveland,et al. Divergence and Fair Testing , 1995, ICALP.
[24] Matthew Hennessy,et al. A Term Model for CCS , 1980, MFCS.
[25] Luca Aceto,et al. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours , 1995, Theor. Comput. Sci..
[26] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..
[27] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[28] C. J. Koomen. Algebraic specification and verification of communication protocols , 1985 .
[29] Robin Milner,et al. A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors , 1989, Inf. Comput..
[30] Joseph Sifakis,et al. The Algebra of Timed Processes, ATP: Theory and Application , 1994, Inf. Comput..
[31] Rob J. van Glabbeek,et al. Branching time and abstraction in bisimulation semantics , 1996, JACM.
[32] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[33] Rance Cleaveland,et al. A Process Algebra with Distributed Priorities , 1996, CONCUR.
[34] William Feller,et al. An Introduction to Probability Theory and Its Applications , 1951 .
[35] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[36] Rance Cleaveland,et al. An Algebraic Theory of Multiple Clocks , 1997, CONCUR.
[37] Wan Fokkink,et al. An Axiomatization for Regular Processes in Times Branching Bisimulation , 1997, Fundam. Informaticae.
[38] E. Brinksma,et al. An Algebraic Approach to the Speciication of Stochastic Systems (extended Abstract) , 1998 .
[39] Wang Yi,et al. CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.