Application and Theory of Petri Nets 1995
Subtitle: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (Lecture Notes in Computer Science)
Contributors: G. Goos (Editor); J. Hartmanis (Editor)
Publisher: Springer
Published: July 1995
Language: eng
Format: Paperback
Number of pages: 511
ISBN-13: 9783540600299
Subjects: Mathematical logic; Parallel processing; Computer Science; Computers - General Information; Networking - General; Computer Architecture - General
First sentence: The box algebra [1, 2, 12] is a variant of CCS [13] whose main purpose is to support the compositional translation from high level concurrent programming languages into Petri nets.