Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics (1996) |
- Fisher, Michael (1996) Fisher, Michael "Temporal semantics for concurrent METATEM" pp627-648
- Fisher, Michael; Kellett, Adam (1996) Fisher, Michael; Kellett, Adam "The concurrent METATEM system" pp728-729
- Moszkowski, Ben (1996) Moszkowski, Ben "The programming language Tempura" pp730-733
- Orgun, Mehmet A. Faustini, Anthony A. (1996) Orgun, Mehmet A. Faustini, Anthony A. "The Chronolog family of languages" pp722-724
|
|