Eintrag weiter verarbeiten
Buchumschlag von A proof rule for multiple coroutine systems
Verfügbar über Online-Ressource

A proof rule for multiple coroutine systems

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Information Processing Letters
Personen und Körperschaften: Pritchard, Paul A.
In: Information Processing Letters, 4, 1976, 6, S. 141-143
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Elsevier BV
Schlagwörter: