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

Formal Methods for Components and Objects 

ABS: A Core Language for Abstract Behavioral Specification

other

Author(s): Einar Broch Johnsen , Reiner Hähnle , Jan Schäfer , Rudolf Schlatte , Martin Steffen

Publication date (Print): 2011

Publisher: Springer Berlin Heidelberg

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

Most cited references 22

Record: found
Abstract: not found
Article: not found

Conditional rewriting logic as a unified model of concurrency

José Meseguer (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Featherweight Java: a minimal core calculus for Java and GJ

Atsushi Igarashi, Benjamin Pierce, Philip Wadler (2001)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Monitors: an operating system structuring concept

C. Hoare (1974)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 142-164

DOI: 10.1007/978-3-642-25271-6_8

SO-VID: d6b0a787-4a59-4048-95ec-b8c479d8099f

License:

http://www.springer.com/tdm

History

Data availability:

ABS: A Core Language for Abstract Behavioral Specification

Read this book at

Related collections

Language change

Most cited references 22

Conditional rewriting logic as a unified model of concurrency

Featherweight Java: a minimal core calculus for Java and GJ

Monitors: an operating system structuring concept

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,733

Cited by 42