Behavioural abstraction in TCCS-Reference-Cited by-同舟云学术

Behavioural abstraction in TCCS

Published:1992 Issue: Volume: Page:559-570
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Moller Faron,Tofts Chris

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55719-9_104.pdf

Reference15 articles.

1. Baeten, J.C.M. and J.A. Bergstra, Real Time Process Algebra, Formal Aspects of Computing, Vol 3, 1991.

2. Chen, L., Decidability and Completeness in Real Time Processes, Research Report No ECS-LFCS-91-185, University of Edinburgh Department of Computer Science, 1991.

3. Groote, J.F., Specification and Verification of Real Time Systems in ACP, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification, Ottawa, 1990.

4. Hennessy, M.C., Algebraic Theory of Processes, MIT Press, 1988.

5. Hennessy, M. and T. Regan, A Temporal Process Algebra Technical Report No. 2/90, University of Sussex Department of Computer Science, April 1990.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Expected-Delay-Summing Weak Bisimilarity for Markov Automata;Electronic Proceedings in Theoretical Computer Science;2015-09-28

2. Encoding Timed Models as Uniform Labeled Transition Systems;Computer Performance Engineering;2013

3. Verification of Timed Erlang Programs Using McErlang;Formal Techniques for Distributed Systems;2012

4. Action Abstraction in Timed Process Algebra;Lecture Notes in Computer Science;2007

5. Action transducers and timed automata;Formal Aspects of Computing;1996-09