搜索页_+Concurrency+theory

常用资源

电子图书

期刊论文

学位会议

在“Elsevier电子期刊”中，命中：190条，耗时：0.0279867 秒

在所有数据库中总计命中：3,304条

1.Belief, knowledge, lies and other utterances in an algebra for space and extrusion

作者：Michell Guzman^a ; ^{michell.guzman@inria.fr} ; Stefan Haar^b ; ^{stefan.haar@inria.fr} ; Salim Perchy^a ; ^{yamil-salim.perchy@inria.fr} ; Camilo Rueda^c ; ^{camilo.rueda@cic.puj.edu.co} ; Frank D. Valencia^c ; ^d ; ^{frank.valencia@lix.polytechnique.fr}

关键词：Algebraic structures ; Modal logic ; Epistemic logic ; Concurrency theory ; Mobility ; Lies

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

2.Dynamic Rebinding for Concurrent Object Groups: Theory and practice

关键词：Object-oriented programming ; Dynamic Software Updating ; Consistency ; Concurrency

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

3.Wasatch: An architecture-proof multiphysics development environment using a Domain Specific Language and graph theory

作者：Tony Saad¹ ; ^{tony.saad@chemeng.utah.edu} ; Author Vitae ; James C. Sutherland² ; ^{james.sutherland@chemeng.utah.edu}Author Vitae

关键词：Domain Specific Language ; Computational physics ; Graph theory

刊名：Journal of Computational Science

出版年：2016

4.CenUMs - concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use

作者：Daniel Homm ; ^{daniel.homm@fau.de" class="auth_mail" title="E-mail the corresponding author} ; Jü ; rgen Eckert ^{juergen.eckert@fau.de" class="auth_mail" title="E-mail the corresponding author} ; Reinhard German ^{reinhard.german@fau.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Markov chain usage model ; Concurrency ; System verification ; Statistical test

刊名：Science of Computer Programming

出版年：2016

5.Existence of home states in Petri nets is decidable

作者：Eike Best^a ; ¹ ; ^{eike.best@informatik.uni-oldenburg.de" class="auth_mail" title="E-mail the corresponding author} ; Javier Esparza^b ; ^{esparza@in.tum.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Concurrency ; Theory of computation ; Petri nets ; Home states

刊名：Information Processing Letters

出版年：2016

6.Logical characterizations of simulation and bisimulation for fuzzy transition systems

作者：Hengyang Wu^a ; ^{wuhengy_1974@aliyun.com" class="auth_mail" title="E-mail the corresponding author} ; Yuxin Deng^b ; ^{yxdeng@sei.ecnu.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Bisimulation ; Completeness ; Fuzzy labeled transition system ; Logical characterization ; Simulation ; Soundness

刊名：Fuzzy Sets and Systems

出版年：2016

7.Real-time management of complex resource allocation systems: Necessity, achievements and further challenges

作者：Spyros Reveliotis ; ^{spyros.reveliotis@isye.gatech.edu" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Resource Allocation Systems ; Discrete Event Systems ; Supervisory control ; Deadlock avoidance ; (Stochastic) scheduling

刊名：Annual Reviews in Control

出版年：2016

8.Multi-parameterised compositional verification of safety properties

作者：Antti Siirtola^a ; ¹ ; ^{antti.siirtola@aalto.fi" class="auth_mail" title="E-mail the corresponding author} ; ^{antti.siirtola@oulu.fi" class="auth_mail" title="E-mail the corresponding author} ; Juha Kortelainen^b ; ^{juha.kortelainen@oulu.fi" class="auth_mail" title="E-mail the corresponding author}

关键词：Parameterised verification ; Refinement checking ; Concurrency theory ; Compositional reasoning ; Decidability

刊名：Information and Computation

出版年：2015

9.Revisiting sequential composition in process calculi

作者：Hubert Garavel^a ; ^b ; ^c ; ^d ; ^{hubert.garavel@inria.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Concurrency theory ; Formal specification ; Formal semantics ; Process algebra ; Process calculus ; Sequential composition

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2015

10.Concurrent weighted logic

作者：Kim G. Larsen ^{kgl@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Radu Mardare ^{mardare@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author} ; Bingtian Xue ; ¹ ; ^{bingt@cs.aau.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：Non-compact modal logic ; Model theory ; Rasiowa&ndash ; Sikorski lemma ; Weighted transition systems ; Concurrency

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2015

按检索点细分(190)

题名(10)

关键词(46)

文摘(109)

按出版年细分(190)

2027年及以后(4)

2017年(2)

2016年(5)

2015年(5)

2013年(2)

2012年(8)

2011年(14)

2010年(12)

2009年(11)

2008年(12)

2007年(11)

2006年(15)

2005年(9)

2004年(6)

2003年(7)

2002年(12)

2001年(7)

2000年(10)

2000年及以前(38)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700