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 65

Record: found
Abstract: not found
Article: not found

An introduction to computing with neural nets

R. Lippmann (1987)

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

Bookmark

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

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

Rajeev Alur, Costas Courcoubetis, Thomas Henzinger … (1993)

0 comments Cited 117 times – based on 0 reviews

Bookmark

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

All references

Author and book information

Book Chapter

Publication date (Print): 1996

Publication date (Online): June 2 2005

Pages: 331-372

DOI: 10.1007/3-540-61604-7_64

SO-VID: 7256bf13-8494-4107-a128-e2a4e0bf2803

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

Rewriting Logic as a Logical and Semantic Framework
Authors: Narciso Martí-Oliet, José Meseguer
The Maude System
Authors: M Clavel, F Duran, S. Eker …
Mapping tile logic into rewriting logic
Authors: José Meseguer, Ugo Montanari

See all cited by

Rewriting logic as a semantic framework for concurrency: a progress report

Read this book at

Related collections

Semantic Knowledge Base

Most cited references 65

An introduction to computing with neural nets

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

Conditional rewriting logic as a unified model of concurrency

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,753

Cited by 7