A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Algebraic topology and concurrency
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Scheduling for multi-threaded real-time programs via path planning
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Hi-index | 0.00 |