1
Published 1995
Springer London
Table of Contents: ... of Synchronizing Systems -- On Well-Formedness Analysis: The Case of Deterministic Systems of Sequential Processes...

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... Handover Buffers in Wireless ATM Networks with GSPN Models -- A Class of Well Structured Petri Nets...