Login / Signup

First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

Theo C. RuysRom LangerakJoost-Pieter KatoenDiego LatellaMieke Massink
Published in: TACAS (2001)
Keyphrases
  • partial order
  • artificial intelligence
  • process algebra
  • data structure
  • distributed systems
  • partially ordered