Author:
Janssen Wil,Poel Mannes,Zwiers Job
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. R.J.R. Back, A calculus of refinements for program derivations, Acta Informatica 25, 1988.
2. H. Barringer, R. Kuiper and A. Pnueli, Now you may compose temporal logic specifications, Proc. of the 16th ACM Symposium on Theory of Computing, Washington, 1984, pp. 51–63.
3. P.A. Bernstein, V. Hadzilacos and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.
4. K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.
5. P. Degano, R. De Nicola and U. Montanari, Partial orderings descriptions and observations of nondeterministic concurrent processes, Proc. of the REX workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 1988, LNCS 354, pp. 438–466.
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献