|
Journals in DBLP
- Stephan Diehl
Natural Semantics-Directed Generation of Compilers and Abstract Machines. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:2, pp:71-99 [Journal]
- Rajeev Joshi, Jayadev Misra
Maximally Concurrent Programs. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:2, pp:100-119 [Journal]
- Stephen Paynter, James M. Armstrong, Jan Haveman
ADL: An Activity Description Language for Real-Time Networks. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:2, pp:120-144 [Journal]
|