Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Hall, Jon"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The box calculus: a new causal algebra with multi-label communication
Eike Best
,
Raymond Devillers
,
Jon G. Hall
Lecture Notes in Computer Science
609
, 1992, pp. 21-69
A basic-net algebra for program semantics and its application to OCCAM
Richard Hopkins
,
Jon Hall
,
Oliver Botti
Lecture Notes in Computer Science
609
, 1992, pp. 179-214