Modular Specification of Concurrent Systems with Observational Logic

AuthID
P-001-67E
1
Author(s)
1
Editor(s)
Fiadeiro, JL
Document Type
Article
Year published
1999
Published
in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1589, Pages: 310-325 (16)
Conference
13Th International Workshop on Algebraic Development Techniques at the 1St European Joint Conferences on Theory and Practice of Software, Date: APR 02-04, 1998, Location: LISBON, PORTUGAL, Sponsors: Portugal Telecom, Tap Air Portugal, Luso Amer Dev Fdn, British Council, EU Programme Training & Mobil Researchers, Univ Lisbon, European Assoc Theoret Comp Sci, European Assoc Programming Languages & Syst, Gulbenkian Fdn, Host: GULBENKIAN FDN
Indexing
Publication Identifiers
Wos: WOS:000084087800020
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.