Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Action Systems with Continuous...

Action Systems with Continuous Behaviour

Mauno Rönkkö, Anders P. Ravn, Action Systems with Continuous Behaviour. TUCS Technical Reports 151, Turku Centre for Computer Science, 1997.

Abstract:

http://www.tucs.fi/Publications/techreports/TR151.php

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tRoRa97e,
  title = {Action Systems with Continuous Behaviour},
  author = {Rönkkö, Mauno and Ravn, Anders P.},
  number = {151},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {1997},
  keywords = {weakest liberal precondition, actions, hybrid action system, hybrid system, parallel composition, HyTech},
}

Edit publication