Options
An asynchronous process algebra with multiple clocks
Andersen, Henrik Reif; Mendler, Michael (2018): An asynchronous process algebra with multiple clocks, in: Bamberg: opus, doi: 10.20378/irbo-52645.
Faculty/Chair:
Author:
Publisher Information:
Year of publication:
2018
Pages:
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:
English
Remark:
Retrodigitalisat:
DOI:
Licence:
GND Keywords: ; ; ; ; ;
Algebra
Prozessalgebra
Constraint<Künstliche Intelligenz>
Asynchronität
Clock-Modell
Programmierung
Keywords:
-
DDC Classification:
RVK Classification:
Type:
Conferenceobject
Activation date:
August 8, 2018
Permalink
https://fis.uni-bamberg.de/handle/uniba/44320