Towards a linear logic based calculus for structural modifications of Petri nets

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the International Workshop on Concurrency, Specification and Programming (CSP9́9), Warschau, September 28-30, 1999
1. Verfasser:	Farwer, Berndt (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1999
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!