Skip Nav Destination
Modeling and Analysis of Communicating Systems
By
Jan Friso Groote,
Jan Friso Groote
Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands.
Search for other works by this author on:
Mohammad Reza Mousavi
Mohammad Reza Mousavi
Mohammad Reza Mousavi is Professor of Computer Systems Engineering at the Center for Research on Embedded Systems at Halmstad University, Sweden.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262321037
Publication date:
2014
Book Chapter
2: Actions, Behavior, Equivalence, and Abstraction
-
Published:2014
Citation
2014. "Actions, Behavior, Equivalence, and Abstraction", Modeling and Analysis of Communicating Systems, Jan Friso Groote, Mohammad Reza Mousavi
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.