Publicações

First-Order Dynamic Logic for Compensable Processes

AuthID
P-008-4H5

Author(s)

Bruni, R

Ferreira, C

Kersten Kauer, A

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7274 LNCS, Páginas: 104-121

Conference

14Th International Conference on Coordination Models and Languages, Coordination 2012, Date: 14 June 2012 through 15 June 2012, Location: Stockholm, Patrocinadores: International Federation for Information Processing (IFIP);KTH Royal Institute of Technology

Indexing