Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642005954, 9783642005961

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interrupt Timed Automata

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_15 ◽

2009 ◽

pp. 197-211 ◽

Cited By ~ 7

Author(s):

Beatrice Bérard ◽

Serge Haddad

Keyword(s):

Timed Automata

Download Full-text

Temporal Reasoning about Program Executions

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_2 ◽

2009 ◽

pp. 15-15

Author(s):

Rajeev Alur

Keyword(s):

Temporal Reasoning

Download Full-text

Cryptographic Protocol Composition via the Authentication Tests

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_22 ◽

2009 ◽

pp. 303-317 ◽

Cited By ~ 14

Author(s):

Joshua D. Guttman

Keyword(s):

Cryptographic Protocol ◽

Protocol Composition

Download Full-text

A Description of Iterative Reflections of Monads (Extended Abstract)

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_12 ◽

2009 ◽

pp. 152-166 ◽

Cited By ~ 1

Author(s):

Jiří Adámek ◽

Stefan Milius ◽

Jiří Velebil

Download Full-text

Synthesis from Component Libraries

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_28 ◽

2009 ◽

pp. 395-409 ◽

Cited By ~ 34

Author(s):

Yoad Lustig ◽

Moshe Y. Vardi

Download Full-text

Coalgebraic Hybrid Logic

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_11 ◽

2009 ◽

pp. 137-151 ◽

Cited By ~ 12

Author(s):

Rob Myers ◽

Dirk Pattinson ◽

Lutz Schröder

Keyword(s):

Hybrid Logic

Download Full-text

The Calculus of Handshake Configurations

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_17 ◽

2009 ◽

pp. 227-241 ◽

Cited By ~ 1

Author(s):

Luca Fossati ◽

Daniele Varacca

Download Full-text

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_26 ◽

2009 ◽

pp. 364-379 ◽

Cited By ~ 19

Author(s):

Martin R. Neuhäußer ◽

Mariëlle Stoelinga ◽

Joost-Pieter Katoen

Keyword(s):

Markov Decision Processes ◽

Continuous Time ◽

Decision Processes ◽

Markov Decision

Download Full-text

Logics and Bisimulation Games for Concurrency, Causality and Conflict

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_5 ◽

2009 ◽

pp. 48-62 ◽

Cited By ~ 8

Author(s):

Julian Gutierrez

Download Full-text

Dependency Tree Automata

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00596-1_8 ◽

2009 ◽

pp. 92-106 ◽

Cited By ~ 7

Author(s):

Colin Stirling

Keyword(s):

Tree Automata ◽

Dependency Tree

Download Full-text

Foundations of Software Science and Computational Structures - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Interrupt Timed Automata

Temporal Reasoning about Program Executions

Cryptographic Protocol Composition via the Authentication Tests

A Description of Iterative Reflections of Monads (Extended Abstract)

Synthesis from Component Libraries

Coalgebraic Hybrid Logic

The Calculus of Handshake Configurations

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Logics and Bisimulation Games for Concurrency, Causality and Conflict

Dependency Tree Automata

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
Latest Publications