A formal semantics for concurrent systems with a priority relation-Reference-Cited by-同舟云学术

A formal semantics for concurrent systems with a priority relation

Published:1987-02 Issue:1 Volume:24 Page:33-55
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Janicki Ryszard

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00290705.pdf

Reference25 articles.

1. Best, E.: Adequacy Properties of Path Program. Theor. Comput. Sci. 18, 149?171 (1982)

2. Campbell, R.H.: Path Expressions: a technique for process synchronisation. Ph.D. Thesis, University of Newcastle upon Tyne, 1976

3. Campbell, R.H., Haberman, A.N.: The specification of process synchronisation by paths expressions. Lect. Notes Comput. Sci., Vol. 16, pp. 89?102. Berlin, Heidelberg, New York: Springer 1974

4. Campbell, R.H., Kolstad, R.B.: Path expressions in Pascal. Dept. of Comp. Sci., University of Illinois at Champaign-Urbana, Urbana, IL, 1979

5. Courtois, P.J., Heymans, F., Parnas, D.L.: Concurrent control with ?Readers? and ?Writers?. CACM 14, 667?678 (1971)

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

1. Modeling concurrency with interval traces;Information and Computation;2017-04

2. Priority Workflow Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2013-03

3. True concurrency in models of asynchronous circuit behavior;Formal Methods in System Design;2003

4. Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour;Hardware Design and Petri Nets;2000

5. Priority conflict-free Petri nets;Acta Informatica;1998-08-01