Publications

Modular Specification of Concurrent Systems with Observational Logic

AuthID
P-00K-68V

Author(s)

Resende, P

Editor(s)

Fiadeiro,JL

Document Type

Proceedings Paper

Year published

1999

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 1589, Pages: 310-325

Conference

13Th International Workshop on Algebraic Development Techniques, Wadt 1998, Date: 2 April 1998 through 4 April 1998, Sponsors: British Council;et al.;EU programme “Training and Mobility of Researchers”;Luso-American Development Foundation;Portugal Telecom;TAP Air Portugal

Indexing