Petri Net Algebra - Monographs in Theoretical Computer Science An EATCS Series
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642086779, 9783662044575
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PBC and Other Process Algebras

2001 ◽  
pp. 295-312
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Process Algebras

Petri Net Semantics

2001 ◽  
pp. 73-132 ◽  
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Petri Net

The Petri Box Calculus

2001 ◽  
pp. 7-28
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny

Adding Recursion

2001 ◽  
pp. 133-172
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny

Syntax and Operational Semantics

2001 ◽  
pp. 29-71
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Operational Semantics

A Concurrent Programming Language

2001 ◽  
pp. 313-348
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Keyword(s):  
Programming Language ◽  
Concurrent Programming

The Box Algebra

2001 ◽  
pp. 227-294
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny

Conclusion

2001 ◽  
pp. 349-350
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny

S-invariants

2001 ◽  
pp. 173-226
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny

Introduction

2001 ◽  
pp. 1-5
Author(s):  
Eike Best ◽  
Raymond Devillers ◽  
Maciej Koutny
Load More ...
Sign in / Sign up

Export Citation Format

Share Document