OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems
暂无分享,去创建一个
[1] Giancarlo Mauri,et al. Semantics Frameworks for a Class of Modular Algebraic Nets , 1993, AMAST.
[2] Klaus-Peter Löhr. Concurrency annotations for reusable software , 1993, CACM.
[3] Wolfgang Reisig,et al. Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..
[4] Rocco De Nicola,et al. An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..
[5] Kurt Jensen,et al. Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.
[6] Giorgio De Michelis,et al. Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[7] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[8] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.
[9] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.
[10] J. Meseguer. Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.
[11] Oliver Botti,et al. An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets , 1995, Application and Theory of Petri Nets.
[12] Luca Bernardinello,et al. A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.
[13] Ugo Giovanni Erasmo Montanari,et al. SELECTED PAPERS OF THE 2ND WORKSHOP ON CONCURRENCY AND COMPOSITIONALITY, SAN-MINIATO, ITALY, MARCH 1990 - PREFACE , 1992 .
[14] E Fredkin,et al. Project MAC Progress Report 11 , 1974 .
[15] Eike Best,et al. Esprit Basic Research Action 3148 DEMON (design methods based on nets) , 1992, Advances in Petri Nets: The DEMON Project.
[16] Lucia Rapanotti,et al. Morphisms and minimal models for OBJSA nets , 1991 .
[17] Grzegorz Rozenberg,et al. Concurrency and Nets , 1987, Springer Berlin Heidelberg.
[18] Kurt Jensen. High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[19] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[20] Hartmann J. Genrich. Predicate/transition nets , 1987 .
[21] Wolfgang Reisig,et al. The Semantics of a Net is a Net , 1987 .
[22] Stefania Gnesi,et al. The Integration Project for the JACK Environement , 1994 .
[23] Giancarlo Mauri,et al. OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.