Author:
Stankaitis Paulius,Iliasov Alexei,Kobayashi Tsutomu,Aït-Ameur Yamine,Ishikawa Fuyuki,Romanovsky Alexander
Publisher
Springer International Publishing
Reference24 articles.
1. INTO-CPS Project. Case Studies 2, Deliverable D1.2. Technical report, November 2016.
http://projects.au.dk/fileadmin/D1.2a_Case_Studies.pdf
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2013)
3. Lecture Notes in Computer Science;P Behm,1999
4. Bernstein, P.A., Shipman, D.W., Rothnie Jr., J.B.: Concurrency control in a System For Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1), 18–51 (1980)
5. Cansell, D., Méry, D.: Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm. Theor. Comput. Sci. 364(3), 318–337 (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献