Jean-Marie Jacquet

Available identifiers

zbMath Open jacquet.jean-marieMaRDI QIDQ169891

List of research outcomes

Publication	Date of Publication	Type
On the expressiveness and efficiency of guarded lists in Bach	2024-11-26	Paper
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues	2024-03-19	Paper
On the expressiveness of multiplicities in data-based coordination languages	2020-04-15	Paper
A process algebra for synchronous concurrent constraint programming	2017-01-19	Paper
Fully abstract models and refinements as tools to compare agents in timed coordination languages	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	2006-06-30	Paper
Coordination Models and Languages	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4680178	2005-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4473985	2004-08-04	Paper
Suspension terms as a means for meta-coordination in the \({\mu}Log\) coordination framework	2003-07-01	Paper
On the expressiveness of coordination via shared dataspaces	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4537452	2002-06-30	Paper
Blackboard relations in the \(\mu\text{Log}\) coordination model	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4223016	1999-01-07	Paper
Extending the \(\mu\)log framework with local and conditional blackboard operations	1997-08-25	Paper
Towards resource handling in logic programming: The PPL framework and fits semantics	1997-03-13	Paper
Conclog: a methodological approach to concurrent logic programming	1993-01-23	Paper

Research outcomes over time

This page was built for person: Jean-Marie Jacquet