M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

Acta Informatica - Tập 35 Số 10 - Trang 813-857 - 1998
Eike Best1, Wojciech Frączak2, Richard P. Hopkins3, Hanna Klaudel4, Elisabeth Pelz4
1Fachbereich Informatik, Carl-von-Ossietzky-Universität zu Oldenburg, D-26111 Oldenburg, Germany (e-mail: [email protected])#N#, , DE
2Département d'Informatique, Université du Quebec à Hull, C.P. 1250, succ. B, Hull, Quebec, Canada J8X-3X7 (e-mail: [email protected])#N#, , CA
3Department of Computing Science, University of Newcastle upon Tyne, UK (e-mail: [email protected])#N#, , GB
4Université Paris Val de Marne, Equipe d'Informatique, 61 Av. du Général de Gaulle, Bât.P3, 4eme étage, F-94010 Créteil, France (e-mail: {klaudel,pelz}@lri.fr)#N#, , FR

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Acta Informatica

Tập 35 Số 10

813-857

Thông tin tác giả