Electronic Proceedings in Theoretical Computer Science

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

Electronic Proceedings in Theoretical Computer Science

ISSN Print: 2075-2180

ISSN Online:

主页: http://eptcs.org/

Interactions between Digital Geometry and Combinatorics on Words

Sre？ko Brlek

A State-Based Characterisation of the Conflict Preorder

Simon Ware,Robi Malik

Refinement by interpretation in π-institutions

César Rodrigues,Manuel A. Martins,Alexandre Madeira,Luis S. Barbosa

A theorem proving framework for the formal verification of Web Services Composition

Petros Papapanagiotou,Jacques D. Fleuriot

Fast and robust two- and three-qubit swapping gates on multi-atomic ensembles in quantum electrodynamic cavity

Sergey N. Andrianov,Sergey A. Moiseev

Intersection types for unbind and rebind

Mariangiola Dezani-Ciancaglini,Paola Giannini,Elena Zucca

A Software Tool for Legal Drafting

Daniel Gorín,Sergio Mera,Fernando Schapachnik

Sound and Complete Typing for lambda-mu

Steffen van Bakel

Maximum Segment Sum, Monadically (distilled tutorial)

Jeremy Gibbons

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng,Rob van Glabbeek,Matthew Hennessy,Carroll Morgan

Equality, Quasi-Implicit Products, and Large Eliminations

Vilhelm Sj？berg,Aaron Stump

Programmable models of growth and mutation of cancer-cell populations

Luca Bortolussi,Alberto Policriti

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Basile Starynkevitch

Building a refinement checker for Z

John Derrick,Siobhán North,Anthony J.H. Simons

Monoids and Maximal Codes

Fabio Burderi

Three qubit entanglement within graphical Z/X-calculus

Bob Coecke,Bill Edwards

Connectivity Games over Dynamic Networks

Sten Grüner,Frank G. Radmacher,Wolfgang Thomas

Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback

Peter-Michael Seidel

Recurrent Partial Words

Francine Blanchet-Sadri,Aleksandar Chakarov,Lucas Manuelli,Jarett Schwartz

Synchrony vs Causality in the Asynchronous Pi-Calculus

Kirstin Peters,Jens-Wolfhard Schicke,Uwe Nestmann

Dynamical generalizations of the Lagrange spectrum

Sébastien Ferenczi

A Classification of Trapezoidal Words

Gabriele Fici

Two-Player Reachability-Price Games on Single-Clock Timed Automata

Michal Rutkowski

Perspicuity and Granularity in Refinement

Eerke Boiten

Swapping: a natural bridge between named and indexed explicit substitution calculi

Ariel Mendelzon,Alejandro Ríos,Beta Ziliani

Distributed System Contract Monitoring

Adrian Francalanza Ph.D,Andrew Gauci M.Sc,Gordon Pace Ph.D

Predicting global usages of resources endowed with local policies

Chiara Bodei,Viet Dung Dinh,Gian Luigi Ferrari

A Decidable Extension of Data Automata

Zhilin Wu

Time Delays in Membrane Systems and Petri Nets

Bogdan Aman,Gabriel Ciobanu

Model exploration and analysis for quantitative safety refinement in probabilistic B

Ukachukwu Ndukwu,Annabelle McIver

Refinement for Probabilistic Systems with Nondeterminism

Steve Reeves,David Streader

PKind: A parallel k-induction based model checker

Temesghen Kahsai,Cesare Tinelli

Lazy Decomposition for Distributed Decision Procedures

Youssef Hamadi,Joao Marques-Silva,Christoph M. Wintersteiger

Optimizing Properties of Balanced Words

Nikita Sidorov

A reduction from parity games to simple stochastic games

Krishnendu Chatterjee,Nathana？l Fijalkow

Solving the TTC 2011 Compiler Optimization Case with GReTL

Tassilo Horn

Tutorial on Online Partial Evaluation

William R. Cook,Ralf L？mmel

Input-output Conformance Testing for Channel-based Service Connectors

Natallia Kokash,Farhad Arbab,Behnaz Changizi,Leonid Makhnist

A Verified Algebra for Linked Data

Ross Horne,Vladimiro Sassone

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Luís Pinto,Tarmo Uustalu

Formal Model Engineering for Embedded Systems Using Real-Time Maude

Peter Csaba ？lveczky

Multi-level Contextual Type Theory

Mathieu Boespflug,Brigitte Pientka

Solving the TTC 2011 Compiler Optimization Task with metatools

Markus Lepper,Baltasar Trancón y Widemann

Solving the TTC 2011 Model Migration Case with UML-RSDS

K. Lano,S. Kolahdouz-Rahimi

Saying Hello World with Epsilon – A Solution to the 2011 Instructive Case

Louis M. Rose,Antonio García-Domínguez,James R. Williams,Dimitrios S. Kolovos

Dialectica Interpretation with Marked Counterexamples

Trifon Trifonov

Deciding Reachability for 3-Dimensional Multi-Linear Systems

Olga Tveretina,Daniel Funke

A Modular Toolkit for Distributed Interactions

Julien Lange,Emilio Tuosto

Optimal Strategies in Infinite-state Stochastic Reachability Games

Václav Bro？ek

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Dominic Orchard,Alan Mycroft