Sciweavers

15885 search results - page 159 / 3177
» The Modest Software Engineer
Sort
View
52
Voted
EWSPT
1999
Springer
15 years 6 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri
FOSSACS
1999
Springer
15 years 6 months ago
Testing Hennessy-Milner Logic with Recursion
Luca Aceto, Anna Ingólfsdóttir
FOSSACS
1999
Springer
15 years 6 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli