CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
复制标题
CONCUR 2010 - 并发理论，第 21 届国际会议，CONCUR 2010，法国巴黎，2010 年 8 月 31 日至 9 月 3 日。会议记录
DOI：
10.1007/978-3-642-15375-4
复制
发表时间：
2010
影响因子：
--
通讯作者：
F. Laroussinie
中科院分区：
文献类型：
--
作者：
P. Gastin;F. Laroussinie
约会并发对象：实时建模和可调度性分析。- 可壳复合体在分布式计算中的应用。- 随机世界中的并发和组合。- 驯服分布式异步系统。- 匿名网络的信任。- 学习 I/O 自动机。- 约束单调抽象：用于参数化验证的 CEGAR。- 交互系统中的信息流。- 从多堆栈自动机到单堆栈自动机。- 几何进程唯一分解问题的方法。- 真正并发的逻辑。- 分布式多方交互的契约设计理论。- 单柜台进程的双相似性是 PSPACE 完备的。- 多人定时游戏中可达性目标的纳什均衡。- 具有定性定时自动机目标的随机实时游戏。- 会话类型作为直觉线性命题.- 访问和信息流控制的会话类型。- 模拟距离。- 平均收益自动机表达式。- 义务博弈。- 交替自动机的多卵石模拟。- 自组织网络的参数化验证。- 不纯并发语言的终止。- 分布式多方会话中的缓冲通信分析。- 来自二阶反应语义的高效双相似性?-微积分.- 在 Presburger 算术中使用非确定性自动机。- 使用历史程序逻辑推理乐观并发性。- 过程理论。- 关于轮抽象的组合性。- Pi 微积分中会话类型的线性说明。- 通用前向和后向模拟 II：概率模拟。- Kleene、Rabin 和 Scott 可用。- 反转高阶Pi.- 高维自动机上的模态逻辑。- 不完美信息博弈的基于通信的模型。- 平代数定点逻辑。- 条件自动机：安全删除可忽略事件的工具。- Petri 网交互的表示。- 通信事务。- 参数化布尔方程系统的一致相关性及其在操作正确性证明中的应用。
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis.- Applications of Shellable Complexes to Distributed Computing.- Concurrency and Composition in a Stochastic World.- Taming Distributed Asynchronous Systems.- Trust in Anonymity Networks.- Learning I/O Automata.- Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.- Information Flow in Interactive Systems.- From Multi to Single Stack Automata.- A Geometric Approach to the Problem of Unique Decomposition of Processes.- A Logic for True Concurrency.- A Theory of Design-by-Contract for Distributed Multiparty Interactions.- Bisimilarity of One-Counter Processes Is PSPACE-Complete.- Nash Equilibria for Reachability Objectives in Multi-player Timed Games.- Stochastic Real-Time Games with Qualitative Timed Automata Objectives.- Session Types as Intuitionistic Linear Propositions.- Session Types for Access and Information Flow Control.- Simulation Distances.- Mean-Payoff Automaton Expressions.- Obliging Games.- Multipebble Simulations for Alternating Automata.- Parameterized Verification of Ad Hoc Networks.- Termination in Impure Concurrent Languages.- Buffered Communication Analysis in Distributed Multiparty Sessions.- Efficient Bisimilarities from Second-Order Reaction Semantics for ?-Calculus.- On the Use of Non-deterministic Automata for Presburger Arithmetic.- Reasoning about Optimistic Concurrency Using a Program Logic for History.- Theory by Process.- On the Compositionality of Round Abstraction.- A Linear Account of Session Types in the Pi Calculus.- Generic Forward and Backward Simulations II: Probabilistic Simulation.- Kleene, Rabin, and Scott Are Available.- Reversing Higher-Order Pi.- Modal Logic over Higher Dimensional Automata.- A Communication Based Model for Games of Imperfect Information.- Flat Coalgebraic Fixed Point Logics.- Conditional Automata: A Tool for Safe Removal of Negligible Events.- Representations of Petri Net Interactions.- Communicating Transactions.- Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.