Verifiable and Executable Logic Specifications of Concurrent Objects in L-Pi

AuthID
 P-001-9P3
2
Author(s)
1
Editor(s)
Hankin, C
Document Type
Article
Year published
1998
Published
in PROGRAMMING LANGUAGES AND SYSTEMS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1381, Pages: 42-56 (15)
Conference
7Th European Symposium on Programming (Esop'98) at the Joint European Conferences on Theory and Practice of Software (Etaps'98), Date: MAR 28-APR 04, 1998, Location: LISBON, PORTUGAL, Sponsors: Portugal Telecom, TAP Air Portugal, Luso-Amer Dev Fdn, British Council, EU programme Training & Mobility Res, Univ Lisbon, European Assoc Theoret Comp Sci, European Assoc Programming Languages & Syst, Gulbenkian Fdn
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/42691
Crossref®6
Google Scholar®
Publication Identifiers
DBLP: conf/esop/CairesM98
SCOPUS: 2-s2.0-84947723862
Wos: WOS:000077564000004
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service