Marco Giunti

Available identifiers

Publication	Date of Publication	Type
Representing \(n\)-ary relations in the semantic web	2022-06-16	Paper
Hide and new in the \(\pi\)-calculus	2021-04-27	Paper
A real world semantics for deterministic dynamical systems with finitely many components	2020-02-13	Paper
For a dynamical approach to human computation	2019-01-08	Paper
Towards static deadlock resolution in the \(\pi\)-calculus	2016-11-09	Paper
Linearity, session types and the pi calculus	2016-07-28	Paper
A representational approach to reduction in dynamical systems	2015-01-26	Paper
Secure implementations of typed channel abstractions	2014-09-12	Paper
Algorithmic type checking for a pi-calculus with name matching and session types	2014-02-25	Paper
A linear account of session types in the pi calculus	2010-08-31	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3836788	2000-01-02	Paper

This page was built for person: Marco Giunti