Eintrag weiter verarbeiten
A proof rule for multiple coroutine systems
Gespeichert in:
Zeitschriftentitel: | Information Processing Letters |
---|---|
Personen und Körperschaften: | |
In: | Information Processing Letters, 4, 1976, 6, S. 141-143 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |