An asynchronous process algebra with multiple clocks

Faculty/Professorship: Foundations of Computer Science  
Author(s): Andersen, Henrik Reif; Mendler, Michael
Publisher Information: Bamberg : opus
Year of publication: 2018
Pages: 16
Source/Other editions: Ursprünglich in: Programming languages and systems : proceedings / ESOP '94, 5th European Symposium on Programming, Edinburgh, UK, April 11 - 13, 1994. Donald Sannella (ed.) Berlin u.a., 1994. - (Lecture notes in computer science ; 788), Seite 58-73
Year of first publication: 1994
Language(s): English
Remark: Retrodigitalisat
DOI: 10.20378/irbo-52645
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-526456
GND Keywords: Algebra; Prozessalgebra; Constraint<Künstliche Intelligenz>; Asynchronität; Clock-Modell; Programmierung
DDC Classification: 004 Computer science  
510 Mathematics  
RVK Classification: SK 955   
Type: Contribution to an Articlecollection
Year of publication: 8. August 2018

File SizeFormat  
AlgebraOCR_A3a.pdf983.13 kBPDFView/Open