First-Order Dynamic Logic for Compensable Processes

AuthID
P-008-4H5
3
Author(s)
Bruni, R
·
Kersten Kauer, A
Document Type
Proceedings Paper
Year published
2012
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7274 LNCS, Pages: 104-121
Conference
14Th International Conference on Coordination Models and Languages, Coordination 2012, Date: 14 June 2012 through 15 June 2012, Location: Stockholm, Sponsors: International Federation for Information Processing (IFIP);KTH Royal Institute of Technology
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84862730514
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.