Formal Aspects of Computing
Formal Aspects of Computing > 2004 > 16 > 3 > 210-237
Formal Aspects of Computing > 2004 > 16 > 3 > 263-291
Formal Aspects of Computing > 2004 > 16 > 3 > 194-209
Formal Aspects of Computing > 2004 > 16 > 3 > 292-312
Formal Aspects of Computing > 2004 > 16 > 3 > 166-193
Formal Aspects of Computing > 2004 > 16 > 3 > 238-262
Formal Aspects of Computing > 2004 > 16 > 4 > 394-411
Formal Aspects of Computing > 2004 > 16 > 4 > 374-386
Formal Aspects of Computing > 2004 > 16 > 4 > 387-393
Formal Aspects of Computing > 2004 > 16 > 4 > 352-373
Formal Aspects of Computing > 2004 > 16 > 4 > 332-351
Formal Aspects of Computing > 2004 > 16 > 4 > 313-331