Re-Vision: a methodology and tool for parallel computations
暂无分享,去创建一个
[1] Ian J. Hayes,et al. Specification case studies , 1987 .
[2] Giorgio Bruno,et al. PROTOB: An object‐oriented case tool for modelling and prototyping distributed systems , 1991, Softw. Pract. Exp..
[3] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[4] Richard M. Karp,et al. Turing award lecture , 1985, ACM '85.
[5] Charles Lakos,et al. Modelling layered protocols in LOOPN , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[6] Wolfgang Reisig,et al. Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.
[7] Kurt Jensen. Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.
[8] Wanli Ma,et al. Graphical assistance in parallel program development , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.
[9] Rob Esser,et al. A distributed simulator for high order Petri nets , 1989, Applications and Theory of Petri Nets.
[10] Robin Milner,et al. Elements of interaction: Turing award lecture , 1993, CACM.
[11] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[12] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[13] Dirk Taubner,et al. On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.