Search
Now showing items 1-3 of 3
Protocol engineering from Estelle specifications
(1993)
The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes ...
Rita+ : an SGML based document processing system
(1993)
Rita+ is a structured syntax directed document processing system, which allows users to edit documents interactively, and display these documents in a manner determined by the user. The system is SGML (Standard Generalized ...
The complexity of Petri net transformations
(1993)
This study investigates the complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most ...