Formal Specification of Computer Systems.

For the most recent entries see the Petri Nets Newsletter.

Naval Postgraduate School, Monterey, CA, Master's thesis, 1987.

Abstract: This study describes a way to formally specify the timing of computer systems by combining ideas of both semantic algebras and Petri Nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.