Isabelle Linden

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the expressiveness of multiplicities in data-based coordination languages Journal of Logical and Algebraic Methods in Programming	2020-04-15	Paper
Fully abstract models and refinements as tools to compare agents in timed coordination languages Theoretical Computer Science	2009-03-02	Paper
Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching	2007-01-04	Paper
On the expressiveness of timed coordination models Science of Computer Programming	2006-06-30	Paper
Coordination Models and Languages Lecture Notes in Computer Science	2006-01-10	Paper

Research outcomes over time

This page was built for person: Isabelle Linden