Author:
Basu Ananda,Bensalem Saddek,Peled Doron,Sifakis Joseph
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;A. Basu,2008
2. Buckley, G.N., Silberschatz, A.: An Effective Implementation for the Generalized Input-Output Construct of CSP. ACM Transactions on Programming Language and Systems 5, 223–235 (1983)
3. Lecture Notes in Computer Science;E.A. Emerson,1980
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
5. Francez, N., Rodeh, M.: A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme. In: 21st Annual Symposium on Foundations of Computer Science (FOCS), Syracuse, New York, pp. 373–379 (1980)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CrEStO: A Tool for Synthesizing Stateful Priorities;2020 16th European Dependable Computing Conference (EDCC);2020-09
2. Stateful Priorities for Precise Restriction of System Behavior;2020 16th European Dependable Computing Conference (EDCC);2020-09
3. Knowledge-based construction of distributed constrained systems;Software & Systems Modeling;2015-02-26
4. Distributed Enforcement of Service Choreographies;Electronic Proceedings in Theoretical Computer Science;2015-02-11
5. Distributed Implementation of Constrained Systems Based on Knowledge;2014 IEEE 13th International Symposium on Parallel and Distributed Computing;2014-06