-
Dynamic Composition of Evolving Process Types
Classical approaches like process algebras or labelled transition systems deal with static composition to model non-trivial concurrent or distributed systems; this is... -
Contribution aux protocoles et aux architectures de communication de bout en ...
These latest years, the evolutions of computer science and telecommunications led to a radical modification of the communication landscape, and consequently of the...
