Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Fourth International Conference on Application of Concurrency to System Design
Förlag	IEEE Computer Society
Sidor	–
Status	Publicerad - 2004
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - Varaktighet: 1 jan. 2010 → …

Konferens	conference
Period	01/01/10 → …

Citera det här

@inproceedings{d5b8502b3a8c4395bc2c16035e329af4,

title = "Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation",

author = "D Bj{\"o}rklund and Johan Lilius",

year = "2004",

language = "Odefinierat/ok{\"a}nt",

pages = "–",

booktitle = "Fourth International Conference on Application of Concurrency to System Design",

publisher = "IEEE Computer Society",

note = "conference ; Conference date: 01-01-2010",

}