Mitglied im:

Anmelden

News

22.04.2015
Mit großer Freude präsentiere ich Ihnen den Jahresbericht des...
16.07.2014
Promotionsvortrag von Dipl.-Wirt.-Inf. Björn Schindler am 21.07.2014 um 13:...
10.06.2014

Promotionsvortrag von M. Sc. Stefan Ruehl am 16.06.2014 um 10:00 Uhr

DisCComp -- A Formal Model for Distributed Concurrent Components

Journal

Electronic Notes in Theoretical Computer Science (ENTCS)

Volume

176

Number

2

Seitenangaben

5-23

Jahr

issn

1571-0661

doi

http://dx.doi.org/10.1016/j.entcs.2006.02.029

Adressen

Amsterdam, The Netherlands, The Netherlands

URL

http://dx.doi.org/10.1016/j.entcs.2006.02.029

Verlag

Elsevier Science Publishers B. V.

Bibtex file

Download this publication as bibtex file

Forschungsvideos

16.07.2013
Scribbler: From Coll...
Scribbler is a paint program which supports only basic operations like...