9 search results - page 1 / 2 » forte 2001 |
FORTE
2001
13 years 7 months ago
2001
FORTE
2001
13 years 7 months ago
2001
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is defined; the semantics extends the (infinitely branching) standard semantics by giving meaning to da...
FORTE
2001
13 years 7 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 ...
MFCS
2001
Springer
13 years 10 months ago
2001
Springer
FORTE
2001
13 years 7 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...