首页>外文会议>其他>International Conference on Foundations of Software Science and Computation Structures

International Conference on Foundations of Software Science and Computation Structures

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Trees in Partial Higher Dimensional Automata

机译：树木以部分高度自动机
- 作者：Jeremy Dubut
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2019年
- Higher Dimensional Automata;
- Trees;
- Homotopy theories;
2.Justness A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)

机译：刚度捕捉活性属性的完整性标准（扩展摘要）
- 作者：Rob van Glabbeek
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2019年
3.Two-Way Parikh Automata with a Visibly Pushdown Stack

机译：双向Parikh自动机，带有明显的下推堆栈
- 作者：Luc Dartois;Emmanuel Filiot;Jean-Marc Talbot
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2019年
4.Formal Foundations for Aspects

机译：方面的正式基础
- 作者：Radha Jagadeesan
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
5.A Lower Bound on Web Services Composition

机译：Web服务组成的较低限制
- 作者：Anca Muscholl;Igor Walukiewicz
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
- Automata simulation;
- complexity;
- web services composition;
6.An Effective Algorithm for the Membership Problem for Extended Regular Expressions

机译：扩展正则表达式的成员问题有效算法
- 作者：Grigore Rosu
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
7.A Distribution Law for CCS and a New Congruence Result for the π -Calculus

机译：CCS的分配法和π-Clulululululul的新一同一性结果
- 作者：Daniel Hirschkoff;Damien Pous
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
8.Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems

机译：近似行为伪测定尺寸而不折扣概率系统
- 作者：Franck van Breugel;Babita Sharma;James Worrell
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
9.Complexity Results on Balanced Context-Free Languages

机译：均衡的无背景语言结果结果
- 作者：Akihiko Tozawa;Yasuhiko Minamide
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
10.Iterator Types

机译：迭代器类型
- 作者：Sandra Alves;Maribel Fernandez;Mario Florido;Ian Mackie
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
11.Optimal Strategy Synthesis in Stochastic Müller Games

机译：随机Müller游戏中的最佳策略综合
- 作者：Krishnendu Chatterjee
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
12.On the Stability by Union of Reducibility Candidates

机译：关于再减产候选联盟的稳定性
- 作者：Colin Riba
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
13.Logical Reasoning for Higher-Order Functions with Local State

机译：具有本地状态的高阶函数的逻辑推理
- 作者：Nobuko Yoshida;Kohei Honda;Martin Berger
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
14.Types and Effects for Resource Usage Analysis

机译：资源使用分析的类型和效果
- 作者：Massimo Bartoletti;Pierpaolo Degano;Gian Luigi Ferrari;Roberto Zunino
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
15.PDL with Intersection and Converse Is 2 EXP -Complete

机译：带有交叉点和交叉的PDL是2 exp-complete
- 作者：Stefan Goller;Markus Lohrey;Carsten Lutz
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
16.Semantic Barbs and Biorthogonality

机译：语义倒钩和双健
- 作者：Julian Rathke;Vladimiro Sassone;Pawei Sobocinski
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
17.Relational Parametricity and Separation Logic

机译：关系参数和分离逻辑
- 作者：Lars Birkedal;Hongseok Yang
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
18.The Complexity of Generalized Satisfiability for Linear Temporal Logic

机译：线性时间逻辑广义可靠性的复杂性
- 作者：Michael Bauland;Thomas Schneider;Henning Schnoor;Ilka Schnoor;Heribert Vollmer
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
- computational complexity;
- linear temporal logic;
19.On the Expressiveness and Complexity of ATL

机译：论ATL的富有效力和复杂性
- 作者：Francois Laroussinie;Nicolas Markey;Ghassan Oreiby
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
20.Enriched μ -Calculi Module Checking

机译：富集μ-Calculi模块检查
- 作者：Alessandro Ferrante;Aniello Murano
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
21.The Rewriting Calculus as a Combinatory Reduction System

机译：重写微积分作为组合减少系统
- 作者：Clara Bertolissi;Claude Kirchner
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
22.Tree Automata with Memory, Visibility and Structural Constraints

机译：具有内存，可见性和结构约束的树自动机
- 作者：Hubert Comon-Lundh;Florent Jacquemard;Nicolas Perrin
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
23.Polynomial Constraints for Sets with Cardinality Bounds

机译：基数界定的多项式约束
- 作者：Bruno Marnette;Viktor Kuncak;Martin Rinard
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
24.Generalized Parity Games

机译：广义奇偶校验游戏
- 作者：Krishnendu Chatterjee;Thomas A. Henzinger;Nir Piterman
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
25.Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

机译：高阶推动系统的符号向后可达性分析
- 作者：Matthew Hague;C. -H. Luke Ong
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
26.Model-Checking One-Clock Priced Timed Automata

机译：模型检查单时钟价格定时自动机
- 作者：Patricia Bouyer;Kim G. Larsen;Nicolas Markey
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
27.Formalising the π -Calculus Using Nominal Logic

机译：使用标称逻辑正式地形成π-Calculus
- 作者：Jesper Bengtson;Joachim Parrow
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
28.Sampled Universality of Timed Automata

机译：采样的定时自动机普遍性
- 作者：Parosh Aziz Abdulla;Pavel Krcal;Wang Yi
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年
29.Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

机译：离散概率系统的二分布逻辑特征
- 作者：Augusto Parma;Roberto Segala
- 会议名称：《International Conference on Foundations of Software Science and Computation Structures》 | 2007年