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 |
URI: | https://fis.uni-bamberg.de/handle/uniba/44320 |
Year of publication: | 8. August 2018 |
File | Size | Format | |
---|---|---|---|
AlgebraOCR_A3a.pdf | 983.13 kB | View/Open |

originated at the
University of Bamberg
University of Bamberg