Unlocking Blocked Communicating Processes

AuthID
P-00J-ZPB
3
Author(s)
Francalanza, A
·
1
Editor(s)
ter Beek M.H.Lafuente A.L.
Document Type
Article
Year published
2015
Published
in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180
Volume: 188, Issue: 188, Pages: 23-32 (10)
Conference
11Th International Workshop on Automated Specification and Verification of Web Systems, Wwv 2015, Date: 23 June 2015
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84954511962
Wos: WOS:000367338600004
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.