Publications by Year
sign in
In Proceedings
Search:
Search
R. Kuiper
and
W.P. de Roever
1983
Fairness assumptions for CSP in a temporal logic framework
Publication
Publication
Presented at the
IFIP WG 2.2. Formal Description of Programming Concepts
, Garmisch-Partenkirchen, Germany
Additional Metadata
MSC
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10)
,
Logic in computer science (msc 03B70)
,
Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher
North-Holland (Amsterdam)
Conference
IFIP WG 2.2. Formal Description of Programming Concepts
Citation
APA Style
AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only Format
Kuiper, R., & de Roever, W. P. (1983). Fairness assumptions for CSP in a temporal logic framework. In
Formal description of programming concepts -- II
(pp. 159–170). North-Holland (Amsterdam).
Full Text
( Final Version , 1mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection