Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach

A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions

Formal Methods in System Design - Special issue: industrial critical systems

Bundle event structures: a revised cpo approach

Information Processing Letters

Interactive Markov chains: and the quest for quantified quality

Interactive Markov chains: and the quest for quantified quality

Specifying agent's goals in 3d scenarios using process algebras

ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems

GeDA-3D a middleware useful to handle the evolution in behavioral animation-based virtual worlds with a multi-agent architecture

IICS'04 Proceedings of the 4th international conference on Innovative Internet Community Systems