Adding action refinement to a finite process algebra-Reference-Cited by-同舟云学术

Adding action refinement to a finite process algebra

Published:1991 Issue: Volume: Page:506-519
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Aceto Luca,Hennessy Matthew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54233-7_159.pdf

Reference15 articles.

1. L. Aceto, Action Refinement in Process Algebras, Ph. D. Thesis, University of Sussex, 1990

2. L. Aceto and M. Hennessy, Termination, Deadlock and Divergence, to appear in the Journal of the ACM. Extended abstract in Proceedings of the 5th Worshop on Mathematical Foundations of Programming Semantics 1989, LNCS 442, pp. 301–318, Springer-Verlag, 1990.

3. L. Aceto and M. Hennessy, Towards Action-refinement in Process Algebras, Proc. 4th LICS, pp. 138–145, IEEE Computer Society Press, 1989. To appear in Information and Computation.

4. L. Aceto and M. Hennessy, Adding Action Refinement to a Finite Process Algebra, Computer Science Report 6/90, University of Sussex, 1990

5. J. C. M. Baeten and R. J. van Glabbeek, Merge and Termination in Process Algebra, Proceedings 7th Conference on Foundations of Software Technology and T.C.S. (K.V. Nori ed.), LNCS 287, pp. 153–172, Springer Verlag, 1987

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

1. Fuzzy Labeled Transition Refinement Tree;Fuzzy Systems;2017

2. A reduced maximality labeled transition system generation for recursive Petri nets;Formal Aspects of Computing;2015-11

3. Fuzzy Labeled Transition Refinement Tree;International Journal of Agent Technologies and Systems;2014-07

4. Maximality-Based Labeled Transition Systems Normal Form;Modeling Approaches and Algorithms for Advanced Computer Applications;2013

5. Action Refinement for Real-Time Concurrent Processes with Urgency;Journal of Computer Science and Technology;2005-07