Process algebras for petri nets : the alphabetization of distributed systems

Author(s)

• Gorrieri, Roberto

Bibliographic Information

Process algebras for petri nets : the alphabetization of distributed systems

Roberto Gorrieri

（Monographs in theoretical computer science : an EATCS series）

Springer, c2017

Note

Includes bibliographical references (p. 291-297) and index

Details

• NCID: BB23836773
• ISBN:
  • 9783319555584
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiii, 302 p.
• Size: 25 cm
• Classification:
  • DC23 : 004.360151135
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing -- Mathematical models
  • LCSH : Petri nets
• Parent Bibliography ID:
  • BA25559724