A Typed Interrupt Calculus
Authors:
- 4 October 2002
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 291-310
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Compiling with code-size constraints2002
- Type-based analysis and applications2001
- From Polyvariant flow information to intersection and union typesJournal of Functional Programming, 2001
- Model Checking as Constraint Solving2000
- Mobile ambients1998
- A Theory of Objects1996
- A calculus of mobile processes, IInformation and Computation, 1992
- Types with intersection: An introductionFormal Aspects of Computing, 1992
- A Calculus of Communicating Systems1980