CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540373766, 9783540373773
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Finite Alphabets and Infinite Bases III: Simulation

2006 ◽  
pp. 421-434 ◽  
Author(s):  
Taolue Chen ◽  
Wan Fokkink

Strategy Improvement for Stochastic Rabin and Streett Games

2006 ◽  
pp. 375-389 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger

scholarly journals Weak Bisimulation Up to Elaboration

2006 ◽  
pp. 390-405 ◽  
Author(s):  
Damien Pous
Keyword(s):  
Weak Bisimulation

scholarly journals On Interleaving in Timed Automata

2006 ◽  
pp. 465-476 ◽  
Author(s):  
Ramzi Ben Salah ◽  
Marius Bozga ◽  
Oded Maler
Keyword(s):  
Timed Automata

scholarly journals A Capability Calculus for Concurrency and Determinism

2006 ◽  
pp. 218-232 ◽  
Author(s):  
Tachio Terauchi ◽  
Alex Aiken

scholarly journals Inference of Event-Recording Automata Using Timed Decision Trees

2006 ◽  
pp. 435-449 ◽  
Author(s):  
Olga Grinchtein ◽  
Bengt Jonsson ◽  
Paul Pettersson
Keyword(s):  
Decision Trees ◽  
Event Recording

scholarly journals Controller Synthesis for MTL Specifications

2006 ◽  
pp. 450-464 ◽  
Author(s):  
Patricia Bouyer ◽  
Laura Bozzelli ◽  
Fabrice Chevalier
Keyword(s):  
Controller Synthesis

Event Structure Semantics for Nominal Calculi

2006 ◽  
pp. 295-309 ◽  
Author(s):  
Roberto Bruni ◽  
Hernán Melgratti ◽  
Ugo Montanari
Keyword(s):  
Event Structure
Load More ...
Sign in / Sign up

Export Citation Format

Share Document