A process algebra with distributed priorities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1119, Issue , 1996, Pages 34-49

  Cleaveland, Rance ^a   Lüttgen, Gerald ^b   Natarajan, V ^a  

^a North Carolina State University   (United States)

^b UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DISTRIBUTED SYSTEMS; OBSERVATIONAL CONGRUENCE; PROCESS ALGEBRAS; STRONG BISIMULATION;

ALGEBRA;

EID: 84955611333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61604-7_46     Document Type: Conference Paper

References (18)

1. J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae 9, pages 127-168, 1986.
2. E. Best and M. Koutny. Petri net semantics of priority systems. Theoretical Computer Science, 96:175-215, 1992.
3. G. Boudol, I. CasteUani, M. Hennessy, and A. Kiehn. Observing localities. Theoretical Computer Science, 114(1):31-61, June 1993.
4. P. Brémonde-Grégoire, I. Lee, and R. Gerber. ACSR: An algebra of communicating shared resources with dense time and priorities. In E. Best, editor, CONCUR '93, volume 715 of Lecture Notes in Computer Science, pages 417-431, Hildesheim, Germany, August 1993. Springer-Verlag.
5. J. Camilleri and G. Winskel. CCS with priority choice. Information and Computation, 116(1):26-37, January 1995.
6. R. Cleaveland and M.C.B. Hennessy. Priorities in process algebra. Information and Computation, 87(1/2):58-77, July/August 1990.
7. R. Cleaveland, G. Lüttgen, and V. Natarajan. A process algebra with distributed priorities. Technical Report TR-96-02, North Carolina State University, March 1996.
8. R. Cleaveland, G. Liittgen, V. Natarajan, and S. Sims. Priorities for modeling and verifying distributed systems. In T. Margaria and B. Steffen, editors, Second " International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), volume 1055 of Lecture Notes in Computer Science, pages 278-297, Passau, Germany, March 1996. Springer-Verlag.
9. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993.
10. H. Hansson and F. Orava. A process calculus with incomparable priorities. In Proceedings of the North American Process Algebra Workshop, Workshops in Computing, pages 43-64, Stony Brook, New York, August 1992. Springer-Verlag.
11. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, London, 1985.
12. C.-T. Jensen. Prioritized and Independent Actions in Distributed Computer Systems. PhD thesis, Aarhus University, August 1994.
13. R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989.
14. U. Montanari and D. Yankelevich. A parametric approach to localities. In W. Kuich, editor, Automata, Languages and Programming (ICALP '92), volume 623 of Lecture Notes in Computer Science, pages 617-628, Vienna, July 1992. Springer-Verlag.
15. V. Natarajan, L. Christoff, I. Christoff, and R. Cleaveland. Priorities and abstraction in process algebra. In P.S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, volume 880 of Lecture Notes in Computer Science, pages 217-230, Madras, India, December 1994. Springer-Verlag.
16. R. Palge and R.E. Tarjan. Three partition refinement algorithms. SIAM Journal of Computing, 16(6):973-989, December 1987.
17. D.M.R. Park. Concurrency and automata on infinite sequences. In Proceedings of 5th G.L Conference on Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, pages 167-183. Springer-Verlag, 1980.
18. K V S Prasad. Broadcasting with priority. In Proceedings of the 5th European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 469-484, Edinburgh, U.K., April 1994. Springer-Verlag.