Isabelle Linden

From MaRDI portal
(Redirected from Person:1004065)



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!

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


Research outcomes over time


This page was built for person: Isabelle Linden