kirancodes.me
To Proof Maintenance & Beyond!
FSE 1995

Liveness Conditions in Model-Based Service Specifications: A Case Study

Alan D. Fekete

PDFDOI 10.1145/222124.222140dblp

Abstract

Many different formal methods provide mathematical models of reactive systems (those that interact with an environment to provide a service).There is disagreement on many details, but many methods use the transition

BibTeX
@inproceedings{Fekete:FSE95,
  author    = {Alan D. Fekete},
  title     = {Liveness Conditions in {Model-Based} Service Specifications: A Case Study},
  booktitle = {FSE},
  pages     = {62--71},
  publisher = {{ACM}},
  year      = {1995},
}

Related papers