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

Most cited references 9

Record: found
Abstract: not found
Book Chapter: not found

Mobile ambients

Luca Cardelli, Andrew D. Gordon (1998)

0 comments Cited 65 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Is Open Access

The Maude LTL Model Checker

Steven Eker, José Meseguer, Ambarish Sridharanarayanan (2004)

0 comments Cited 12 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Semantic Models for Distributed Object Reflection

José Meseguer, Carolyn Talcott (2002)

0 comments Cited 11 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 143-160

DOI: 10.1007/978-3-642-37635-1_9

SO-VID: f1ef0c55-4c9d-4c9d-864c-ec86c2df577c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

See all cited by

Statistical Model Checking for Composite Actor Systems

Read this book at

Related collections

Socioecological systems

Most cited references 9

Mobile ambients

The Maude LTL Model Checker

Semantic Models for Distributed Object Reflection

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,731

Cited by 3