Author:
Bracho Felipe,Droste Manfred
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. I.J. Aalbersberg, G. Rozenberg: Theory of traces, Theoret. Comp. Science 60 (1988), 1–82.
2. P. Bachmann, Phan Minh Dung: Nondeterministic computations — structure and axioms, Elektron. Inf.verarb. Kybern. EIK 22 (1986), 243–261.
3. M. Bednarczyk: Categories of asynchronous systems, Ph.D. Thesis, University of Sussex, 1987.
4. G. Berry, J.-J. Levy: Minimal and optimal computations of recursive programs, J. ACM 26 (1979), 148–175.
5. G. Boudol, I. Castellani: A non-interleaving semantics for CCS based on proved transitions, Fundam. Inform. 11 (1988), 433–452.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献