Modal Epistemic Logic on Contracts: A Doctrinal Approach von Bottoni, Paolo, Gorla, Daniele, Kasangian, Stefano, Labella, Anna

Volltext

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes von BOTTONI, PAOLO, GORLA, DANIELE, KASANGIAN, STEFANO, LABELLA, ANNA

Volltext

Conduché property and Tree -based categories von Kasangian, Stefano, Labella, Anna

Volltext

Spatial and temporal aspects in visual interaction von Bottoni, Paolo, Labella, Anna, Kasangian, Stefano

Volltext

Generalising Conduché’s Theorem von Kasangian, Stefano, Labella, Anna, Montoli, Andrea

Volltext

Split extensions, semidirect product and holomorph of categorical groups von Kasangian, Stefano, Metere, Giuseppe, Vitale, Enrico M.

Volltext

Observational trees as models for concurrency von KASANGIAN, STEFANO, LABELLA, ANNA

Volltext

COALGEBRAS, BRAIDINGS, AND DISTRIBUTIVE LAWS: to Aurelio Carboni on his 60th birthday von Lack, Stephen, Vitale, Enrico M, Kasangian, Stefano

Volltext

Observers, experiments, and agents: A comprehensive approach to parallelism von Kasangian, Stefano, Labella, Anna, Pettorossi, Alberto

Volltext

Enriched categorial semantics for distributed calculi von Kasangian, Stefano, Labella, Anna

Volltext

Enriched categorical semantics for distributed calculi von KASANGIAN, S, LABELLA, A

Volltext

Process synchronisation as fusion von Kasangian, Stefano, Labella, Anna, Murphy, David

Volltext

An axiomatics for bicategories of modules von Carboni, Aurelio, Kasangian, Stefano, Walters, Robert

Volltext

Bicategories of spans and relations von Carboni, Aurelio, Kasangian, Stefano, Street, Ross

Volltext

Enriched categories for local and interaction calculi von Kasangian, Stefano, Labella, Anna, Pettorossi, Alberto

Volltext

Some remarks on symmetry for a monoidal category von Kasangian, Stefano, Rossi, Fabio

Volltext