106
click to vote
FORTE
15 years 3 months ago
2001 
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
112
click to vote
FORTE
15 years 3 months ago
2001 
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
122
click to vote
FORTE
15 years 3 months ago
2001 
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
124
click to vote
FORTE
15 years 3 months ago
2001 
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
|
Formal Methods