Author name cluster

Agata Murawska

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers

1 author row

LOPSTR Conference 2018 Conference Paper

Multiparty Classical Choreographies

Marco Carbone
Luís Cruz-Filipe
Fabrizio Montesi
Agata Murawska

Abstract We present Multiparty Classical Choreographies (MCC), a language model where global descriptions of communicating systems (choreographies) implement typed multiparty sessions. Typing is achieved by generalising classical linear logic to judgements that explicitly record parallelism by means of hypersequents. Our approach unifies different lines of work on choreographies and processes with multiparty sessions, as well as their connection to linear logic. Thus, results developed in one context are carried over to the others. Key novelties of MCC include support for server invocation in choreographies, as well as logic-driven compilation of choreographies with replicated processes.

Details

LFMTP Workshop 2014 Conference Paper

Hybrid Extensions in a Logical Framework

Taus Brock-Nannestad
Nicolas Guenot
Agata Murawska
Carsten Schürmann 0001

We discuss the extension of the LF logical framework with operators for manipulating worlds, as found in hybrid logics or in the HLF framework. To overcome the restrictions of HLF, we present a more general approach to worlds in LF, where the structure of worlds can be described in an explicit way. We give a canonical presentation for this system and discuss the encoding of logical systems, beyond the limited scope of linear logic that formed the main goal of HLF.

Details