Subject
Hardware and Architecture,Information Systems,Software
Reference30 articles.
1. Putting Petri Nets to Work;Agerwala;IEEE Computer,1979
2. Parallel Programs: Proofs, Principles, and Practices;Andrews;Commun. ACM,1981
3. Specification and Verification of Distributed Systems Using Prolog Interpreted Petri Nets;Azema,1984
4. Distributed Processes: A Concurrent Programming Concept;Hansen;Commun. ACM,1978
5. The Programming Language Concurrent Pascal;Hansen;IEEE Trans. Software Eng.,1975