Skip to Main Content
MIT Press Direct, home Open Menu
header search
Search
Advanced Search
Skip Nav Destination
Book cover for Research Directions in Concurrent Object-Oriented Programming
Computer Systems Series
Research Directions in Concurrent Object-Oriented ProgrammingUnavailable
Edited by
Gul Agha
Gul Agha

Gul Agha is Director of the Open Systems Laboratory at the University of Illinois at Urbana-Champaign and an Associate Professor in the Department of Computer Science.

Search for other works by this author on:
This Site
Google Scholar
Peter Wegner
Peter Wegner

Peter Wegner is Professor in the Department of Computer Science at Brown University.

Search for other works by this author on:
This Site
Google Scholar
Akinori Yonezawa
Akinori Yonezawa

Akinori Yonezawa is Professor at Tokyo Institute of Technology.

Search for other works by this author on:
This Site
Google Scholar
The MIT Press
DOI:
https://doi.org/10.7551/mitpress/2087.001.0001
ISBN electronic:
9780262297004
Publication date:
1993
Book Chapter

12: A Logical Theory of Concurrent Objects and Its Realization in the Maude Language Unavailable

By
José Meseguer
José Meseguer
Search for other works by this author on:
This Site
Google Scholar
Doi:
https://doi.org/10.7551/mitpress/2087.003.0017
  • Published:
    1993

First Page Preview

First page of A Logical Theory of Concurrent Objects and Its Realization in the Maude Language
You do not currently have access to this chapter.
Don't already have an account? Register
A product of The MIT Press
Newsletter sign up

MIT Press Direct

Information

MIT Press

Contact Us

© 2025 The MIT Press
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.
Accept