Author:
Bracho Felipe,Droste Manfred,Kuske Dietrich
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Aalbersberg, I.J. and G. Rozenberg: Theory of traces. Theor. Comp. Science 60 (1988), 1–82.
2. Bednarczyk, M.: Categories of asynchronous systems. Ph.D. thesis, University of Sussex, 1987.
3. Boudol, G. and I. Castellani: A non-interleaving semantics for CCS based on proved transitions. Fundam. Inform. 11 (1988), 433–452.
4. Börger, E. and D. Rosenzweig: Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters. To appear.
5. Bracho, F. and M. Droste: From domains to automata with concurrency. In: 20th ICALP, LNCS 700, Springer, 1993, pp. 669–681.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献