Coalgebraic Speci cations and Models of Deterministic Hybrid SystemsBart

@inproceedings{Jacobs1996CoalgebraicSC,
  title={Coalgebraic Speci cations and Models of Deterministic Hybrid SystemsBart},
  author={Brian F. Jacobs},
  year={1996}
}
Coalgebraic speciication and semantics, as used earlier for object-oriented programming, is extended with temporal aspects. The (non-temporal) expression s:meth expressing that method meth is applied in state s is extended to an expression s:meth@, where is a time parameter. It means: in state s let the state evolve for units of time, and then apply method… CONTINUE READING