Haupt-Navigation

Page Content

Publications

A Denotational Semantics for Communicating Unstructured Code
Citation key	JahnigGG2015
Author	Nils Jähnig and Thomas Göthel and Sabine Glesner
Title of Book	Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015.
Pages	9–21
Year	2015
DOI	10.4204/EPTCS.178.2
Journal	Electronic Proceedings in Theoretical Computer Science
Number	178
Editor	Open Publishing Association

Link to publication [1] Link to original publication [2] Download Bibtex entry [3]

Back [4]

------ Links: ------

[1] http://arxiv.org/abs/1503.04913

[2] http://eptcs.web.cse.unsw.edu.au/paper.cgi?FESCA201
5.2

[3] https://www.sese.tu-berlin.de/menue/publications/pa
rameter/en/?no_cache=1&tx_sibibtex_pi1%5Bdownload_b
ibtex_uid%5D=744020&tx_sibibtex_pi1%5Bcontentelemen
t%5D=tt_content%3A328078

[4] https://www.sese.tu-berlin.de/menue/publications/pa
rameter/en/

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

maximize aux. functions

Suchfunktion