FORTE
13 years 7 months ago
2001  FORTE
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 ...
SAS
13 years 10 months ago
2001 Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
SAS
13 years 10 months ago
2001 Springer FORTE
13 years 7 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 ...
|
Formal Methods