Publications

Typing Liveness in Multiparty Communicating Systems

AuthID
P-009-JR1

Author(s)

Padovani, L

Vasconcelos, VT

Vieira, HT

Editor(s)

Kuhn,E;Pugliese,R

Document Type

Proceedings Paper

Year published

2014

Published

in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8459, Pages: 147-162 (16)

Conference

16Th Ifip Wg 6.1 International Conference on Coordination Models and Languages (Coordination), Date: JUN 03-05, 2014, Location: Berlin, GERMANY, Sponsors: Int Federat Informat Proc

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/314113

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-662-43376-8_10

Dblp: conf/coordination/PadovaniVV14

Scopus: 2-s2.0-84902590064

Wos: WOS:000342845300010

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.

Typing Liveness in Multiparty Communicating Systems

Useful Links

Get Help

Federated Authentication (Click on the image)

Typing Liveness in Multiparty Communicating Systems

Useful Links

Get Help