×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of ian-a-mason
Verification of programs that destructively manipulate data
214 views
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
215 views
Actors and Logical Analysis of Interactive Systems
217 views
A first order logic of effects
213 views
Actor languages their syntax, semantics, translation, and equivalence
220 views
Simple Network Protocol Simulation within Maude
214 views