ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
42
views
4
references
Top references
cited by
26
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
463
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Symbolic bisimulations
Author(s):
M Hennessy
,
H Lin
Publication date
Created:
February 1995
Publication date
(Print):
February 1995
Journal:
Theoretical Computer Science
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
open (via crossref license)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
ScienceOpen Research
Most cited references
4
Record
: found
Abstract
: not found
Article
: not found
Modal logics for mobile processes
David Walker
,
Robin Milner
,
Joachim Parrow
(1993)
0
comments
Cited
18
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Automated analysis of mutual exclusion algorithms using CCS
D. R.; WALKER
,
D. Roland Walker
(1989)
0
comments
Cited
11
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Local model checking for infinite state spaces
Julian Bradfield
,
Colin Stirling
(1992)
0
comments
Cited
8
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Theoretical Computer Science
Abbreviated Title:
Theoretical Computer Science
Publisher:
Elsevier BV
ISSN (Print):
03043975
Publication date Created:
February 1995
Publication date (Print):
February 1995
Volume
: 138
Issue
: 2
Pages
: 353-389
Article
DOI:
10.1016/0304-3975(94)00172-F
SO-VID:
40ad2bde-2b64-47ad-87a1-d7c1033a2e81
Copyright ©
© 1995
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
463
Enhanced coalgebraic bisimulation
Authors:
JURRIAAN ROT
,
Filippo Bonchi
,
MARCELLO BONSANGUE
…
Relators and Metric Bisimulations
Authors:
J.J.M.M. RUTTEN
,
J.J.M.M. Rutten
Eager Normal Form Bisimulation
Authors:
S. Lassen
See all similar
Cited by
26
KLAIM: a kernel language for agents interaction and mobility
Authors:
R. De Nicola
,
G.L. Ferrari
,
R. Pugliese
A calculus of broadcasting systems
Authors:
K.V.S. Prasad
An efficient algorithm for computing bisimulation equivalence
Authors:
Agostino Dovier
,
Carla Piazza
,
Alberto Policriti
See all cited by
Most referenced authors
16
B Jönsson
D. R.; WALKER
D. Roland Walker
See all reference authors