-
On the construction of pullbacks for safe Petri nets
The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we... -
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,... -
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
Complex software systems : Formalization and Applications
International audience -
De l'opérateur de trace dans les jeux de Conway
In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of... -
Category theory, logic and formal linguistics: some connections, old and new
Survey on the occasion of a special issue of the journal of applied logic -
Numéro Spécial à l’occasion du Workshop Homotopie, 20-21 octobre 2011, Instit...
This dataset has no description
