The following pages link to CONCUR 2005 – Concurrency Theory (Q5897491):
Displaying 8 items.
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- On Well-Foundedness and Expressiveness of Promoted Tyft (Q2866315) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
