The semantics of triveni: A process-algebraic API for threads + events

Christopher Colby; Lalita Jategaonkar; Radha Jagadeesan; Konstantin Läufer; Carlos Puchol

doi:10.1016/S1571-0661(05)80233-6

The semantics of triveni: A process-algebraic API for threads + events

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	107-133
Number of pages	27
Journal	Electronic Notes in Theoretical Computer Science
Volume	14
DOIs	https://doi.org/10.1016/S1571-0661(05)80233-6
State	Published - 1998
Event	US-Brazil Joint Workshops on the Formal Foundations of Software Systems - Rio de Janeiro, Brazil Duration: May 11 1997 → May 11 1997

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/S1571-0661(05)80233-6

Cite this

@article{3bcb4c2333aa4b2b91d517dc5084ae75,

title = "The semantics of triveni: A process-algebraic API for threads + events",

author = "Christopher Colby and Lalita Jategaonkar and Radha Jagadeesan and Konstantin L{\"a}ufer and Carlos Puchol",

year = "1998",

doi = "10.1016/S1571-0661(05)80233-6",

language = "English",

volume = "14",

pages = "107--133",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

note = "US-Brazil Joint Workshops on the Formal Foundations of Software Systems ; Conference date: 11-05-1997 Through 11-05-1997",

}

TY - JOUR

T1 - The semantics of triveni

T2 - US-Brazil Joint Workshops on the Formal Foundations of Software Systems

AU - Colby, Christopher

AU - Jategaonkar, Lalita

AU - Jagadeesan, Radha

AU - Läufer, Konstantin

AU - Puchol, Carlos

PY - 1998

Y1 - 1998

UR - http://www.scopus.com/inward/record.url?scp=18944372203&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=18944372203&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(05)80233-6

DO - 10.1016/S1571-0661(05)80233-6

M3 - Conference article

AN - SCOPUS:18944372203

SN - 1571-0661

VL - 14

SP - 107

EP - 133

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

Y2 - 11 May 1997 through 11 May 1997

ER -

The semantics of triveni: A process-algebraic API for threads + events

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this