Imperial College London, London, UK;
Univ Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP, Lyon, France;
Computer Laboratory, University of Cambridge, Cambridge, UK;
Computer Laboratory, University of Cambridge, Cambridge, UK;
机译:并行分离逻辑的游戏语义学
机译:字符串图中的合理序列:两种并行游戏语义方法的比较
机译:并发博弈语义学中的因果关系与交织
机译:非天使并发游戏语义
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:Prism-Games 3.0:随机游戏验证并发均衡和时间
机译:非天使并发游戏语义