海量图书期刊资源,随时随地畅享阅读乐趣
Deterministic concurrent strategiesWinskel, Glynn · Formal Aspects of Computing · 2012
Exploring probabilistic bisimulations, part IHennessy, Matthew · Formal Aspects of Computing · 2012
In praise of algebraHoare, Tony; Staden, Stephan · Formal Aspects of Computing · 2012
PrefaceHöfner, P. · Formal Aspects of Computing · 2012
EditorialCooke, John · Formal Aspects of Computing · 1994
Properties of Concurrent ProgramsChandy, K. Mani · Formal Aspects of Computing · 1994
Sharing Analysis Based on Type InferenceMinamide, Yasuhiko · Formal Aspects of Computing · 1994
Unifying theories in ProofPower-ZOliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim · Formal Aspects of Computing · 2013