Criteria, Concepts and Constructs for Reuse in Concurrent Object-Oriented Languages
Download:
|
|
by Ulrike Lechner
http://www.mcm.unisg.ch/people/ulechner/publikationen/../Files/Fase.ps
Add To MetaCart
Abstract:
Abstract. bla
Citations
| 199 | Abstract interpretation of reactive systems – Dams, Gerth, et al. - 1997 |
| 190 | Results on the propositional mu-calculus – Kozen - 1983 |
| 68 | Static determination of dynamic properties of recursive procedures – Cousot, Cousot - 1977 |
| 67 | Modal and temporal logics for processes – Stirling - 1995 |
| 62 | Model checking mobile processes – Dam - 1996 |
| 45 | Algebraic Specification Techniques in Object Oriented Programming Environments – Breu - 1991 |
| 32 | Parallelism for free: efficient and optimal bitvector analyses for parallel programs – Knoop, Steffen, et al. - 1996 |
| 27 | Verifying Temporal Properties of Systems. Birkhauser – Bradfield - 1992 |
| 23 | A practical technique for process abstraction – Bruns - 1993 |
| 11 | Towards object calculi – Fiadeiro, Maibaum - 1991 |
| 8 | Heterogeneous analysis and verification for distributed systems – Steffen, Margaria, et al. - 1996 |
| 6 | Object-oriented specification of distributed systems – Lechner - 1996 |
| 1 | Towards a Object-Oriented Formal Modeling – Sernadas, Fiadeiro - 1991 |
