The soundness and completeness of ACSR (Algebra of Communicating Shared Resources)

Bibliographische Detailangaben

1. Verfasser:	Brémond-Grégoire, Patrice (VerfasserIn)
Weitere Verfasser:	Choi, Jin-Young (VerfasserIn), Lee, Insup (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Philadelphia, Pa. Univ. 1993
Schriftenreihe:	MS-CIS 93-59 GRASP LAB 350
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!