-
Hide and New in the Pi-Calculus
International audience -
An Architecture-Centric Approach for Information System Architecture Modeling...
International audience -
A petri net interpretation of open reconfigurable systems
International audience -
Reaction Constraints for the Pi-Calculus - A Language for the Stochastic and ...
For cell-biological processes, it is the complex interaction of their biochemical components, affected by both stochastic and spatial considerations, that create the... -
Stochastic simulation of multiple process calculi for biology
International audience -
A Typed Calculus for Querying Distributed XML Documents
We study the problems related to querying large, distributed XML documents. Our proposal takes the form of a new process calculus in which XML data are processes that... -
Bisimulations up-to: beyond first-order transition systems
International audience
