Unlocking Blocked Communicating Processes

AuthID
P-00J-ZPB
3
Author(s)
Francalanza, A
·
1
Editor(es)
ter Beek M.H.Lafuente A.L.
Tipo de Documento
Article
Year published
2015
Publicado
in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, ISSN: 2075-2180
Volume: 188, Número: 188, Páginas: 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
Info
At this moment we don't have any links to full text documens.