Leafy Automata for Higher-order Concurrency

Bibliographische Detailangaben

Veröffentlicht in:	FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures
1. Verfasser:	Dixon, Alex (VerfasserIn)
Weitere Verfasser:	Lazic, Ranko (VerfasserIn), Murawski, Andrzej S. (VerfasserIn), Walukiewicz, Igor (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!