Toggle Main Menu Toggle Search

Open Access padlockePrints

Process algebra: A Petri-net-oriented tutorial

Lookup NU author(s): Professor Eike Best, Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

Process algebras aim at defining algebraic calculi for concurrency and communication between concurrent processes. This paper describes some of the issues that would seem to be worth discussing when process algebraic ideas are related to Petri net theoretical concepts. © Springer-Verlag Berlin Heidelberg 2004.


Publication metadata

Author(s): Best E, Koutny M

Editor(s): Desel, J., Reisig, W., Rozenberg, G.

Publication type: Book Chapter

Publication status: Published

Book Title: Lectures on Concurrency and Petri Nets

Year: 2004

Volume: 3098

Pages: 180-209

Print publication date: 01/01/2004

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Berlin

URL: http://dx.doi.org/10.1007/978-3-540-27755-2_5

DOI: 10.1007/978-3-540-27755-2_5

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540222613


Share