Author:
Lüttgen Gerald,Vogler Walter
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Conjunction on processes: full-abstraction via ready-tree semantics;Lüttgen;Theoret. Comput. Sci.,2007
2. Ready simulation for concurrency: it’s logical!;Lüttgen;Inform. Comp.,2010
3. Handbook of Process Algebra;Bergstra,2001
4. B. Bloom, Ready simulation, bisimulation, and the semantics of CCS-like languages, Ph.D. Thesis, MIT, 1990.
5. R. Glabbeek, The linear time — branching time spectrum II, 1993. Available as an electronic download from http://theory.stanford.edu/~rvg/abstracts.html#26.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Encoding safety in CLL;Theoretical Computer Science;2022-01
2. ACTL for Modal Interface Automata;Theoretical Computer Science;2017-09
3. ACTL for Modal Interface Automata;2016 16th International Conference on Application of Concurrency to System Design (ACSD);2016-06
4. Failure Semantics for Modal Transition Systems;ACM Transactions on Embedded Computing Systems;2015-12-08
5. Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL;Journal of Applied Logic;2015-12