Publications by Year
sign in
Book Chapter
Search:
Search
J.A. Bergstra (Jan)
,
W.J. Fokkink (Wan)
and
A. Ponse (Alban)
2001
Process algebra with recursive operations
Publication
Publication
Additional Metadata
MSC
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85)
,
Semantics (msc 68Q55)
THEME
Software (theme 1)
Publisher
North-Holland (Amsterdam)
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
Bergstra, J., Fokkink, W., & Ponse, A. (2001). Process algebra with recursive operations. In
Handbook of process algebra
(pp. 333–389). North-Holland (Amsterdam).
Full Text
( Final Version , 6mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection