Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
20
views
0
references
Top references
cited by
11
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,186
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Process theory based on bisimulation semantics
Author(s):
J. S. Bergstra
,
J. W. Klop
Publication date:
1989
Read this book at
Publisher
Buy book
Bookmark
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Author and book information
Book
DOI::
10.1007/BFb0013021
Data availability:
Comments
Comment on this book
Sign in to comment
Similar content
3,186
Why Is Simulation Harder than Bisimulation?
Authors:
Antonín Kučera
,
Richard Mayr
Applicative Bisimulation and Quantum λ-Calculi
Authors:
Ugo Dal Lago
,
Alessandro Rioli
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
Authors:
Fatemeh Seifan
,
Sebastian Enqvist
,
Yde Venema
See all similar
Cited by
10
Bisimulation equivalence is decidable for all context-free processes
Authors:
Søren Flygering Christensen
,
Hans Hüttel
,
Colin Stirling
Concurrency and discrete event control
Authors:
M. HEYMANN
Chu spaces and their interpretation as concurrent objects
Authors:
Vaughan Pratt
See all cited by