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/

Concurrent Game Structures with Roles

Truls Pedersen,Sjur Dyrkolbotn,Piotr Ka？mierczak,Erik Parmann

Proof nets and the call-by-value lambda-calculus

Beniamino Accattoli

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language

John T. O'Donnell

Evaluating functions as processes

Beniamino Accattoli

Effective Marking Equivalence Checking in Systems with Dynamic Process Creation

？ukasz Fronc

An event-based model for contracts

Massimo Bartoletti,Tiziana Cimoli,G. Michele Pinna,Roberto Zunino

Mapping the Join Calculus to Heterogeneous Hardware

Peter Calvert,Alan Mycroft

Testing Java implementations of algebraic specifications

Isabel Nunes,Filipe Luís

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Jurri？n Stutterheim,Wouter Swierstra,Doaitse Swierstra

Proof Pad: A New Development Environment for ACL2

Caleb Eggensperger

Decomposability in Input Output Conformance Testing

Neda Noroozi,Mohammad Reza Mousavi,Tim A.C. Willemse

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

Marcelo E. Coniglio,María I. Corbalán

On Consistency of Operational Transformation Approach

Aurel Randolph,Hanifa Boucheneb,Abdessamad Imine,Alejandro Quintero

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

Nils Bulling,Valentin Goranko

A formalisation of XMAS

Bernard van Gastel,Julien Schmaltz

Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

Manfred Schmidt-Schauss

Towards an Updatable Strategy Logic

Christophe Chareton,Julien Brunel,David Chemouil

Constraint-based reachability

Arnaud Gotlieb,Tristan Denmat,Nadjib Lazaar

Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines

Stephan Wei？leder,Hartmut Lackner

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Sven Sieverding,Christian Ellen,Peter Battram

ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

David S. Hardin,Samuel S. Hardin

Minimal lambda-theories by ultraproducts

Antonio Bucciarelli,Alberto Carraro,Antonino Salibra

Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)

Patrick Bahr

Software model refactoring based on performance analysis: better working on software or performance side?

Davide Arcelli,Vittorio Cortellessa

Infinite games with uncertain moves

Nicholas Asher,Soumya Paul

Verified AIG Algorithms in ACL2

Jared Davis,Sol Swords

Modularizing and Specifying Protocols among Threads

Sung-Shik T.Q. Jongmans,Farhad Arbab

Verification of Building Blocks for Asynchronous Circuits

Freek Verbeek,Julien Schmaltz

A Macro for Reusing Abstract Functions and Theorems

Sebastiaan J. C. Joosten,Bernard van Gastel,Julien Schmaltz

Typing Context-Dependent Behavioural Variation

Pierpaolo Degano,Gian-Luigi Ferrari,Letterio Galletta,Gianluca Mezzetti

Industrial-Strength Model-Based Testing - State of the Art and Current Challenges

Jan Peleska

The Complexity of Synthesizing Uniform Strategies

Bastien Maubert,Sophie Pinchinat,Laura Bozzelli

Term Graph Representations for Cyclic Lambda-Terms

Clemens Grabmayer,Jan Rochel

Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

Dimitar P. Guelev

The stack calculus

Alberto Carraro,Thomas Ehrhard,Antonino Salibra

Symmetries in Modal Logics

Carlos Areces,Guillaume Hoffmann,Ezequiel Orbe

Strategic Analysis of Trust Models for User-Centric Networks

Marta Kwiatkowska,David Parker,Aistis Simaitis

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

Mikhail Chupilko,Alexander Kamkin

Elementary Deduction Problem for Locally Stable Theories with Normal Forms

Mauricio Ayala-Rincón,Maribel Fernández,Daniele Nantes-Sobrinho

How Computers Work: Computational Thinking for Everyone

Rex Page,Ruben Gamboa

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

Helena Gruhn,Sabine Glesner

Abstract Stobjs and Their Application to ISA Modeling

Shilpi Goel,Warren A Hunt, Jr.,Matt Kaufmann

Petri Nets with Time and Cost

Parosh Aziz Abdulla,Richard Mayr

Functional Dependence in Strategic Games (extended abstract)

Kristine Harjes,Pavel Naumov

A Step-Indexing Approach to Partial Functions

David Greve,Konrad Slind

Non determinism through type isomorphism

Alejandro Díaz-Caro,Gilles Dowek

Variant-Frequency Semantics for Green Futures

Yu David Liu

A weak HOAS approach to the POPLmark Challenge

Alberto Ciaffaglione,Ivan Scagnetto

Mathematics Is Imprecise

Prabhakar Ragde

Towards a Framework for Behavioral Specifications of OSGi Components

Jan Olaf Blech