17298 search results - page 152 / 3460 » Abstract computing machines |
140
Voted
ENTCS
2010
15 years 26 days ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
106
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
129
click to vote
CONCUR
1993
Springer
15 years 7 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
97
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
89
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
