|
Journals in DBLP
- Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon
Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:1, pp:1-2 [Journal]
- Marco Bernardo
Non-bisimulation-based Markovian behavioral equivalences. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:1, pp:3-49 [Journal]
- Tommaso Bolognesi
Behavioral complexity indicators for process algebra: The NKS approach. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:1, pp:50-77 [Journal]
- Maria Grazia Buscemi, Ugo Montanari
A compositional coalgebraic model of fusion calculus. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:1, pp:78-97 [Journal]
- Insup Lee, Anna Philippou, Oleg Sokolsky
Resources in process algebra. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:1, pp:98-122 [Journal]
|