Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540202165, 9783540452089
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Reasoning about Self and Others: Communicating Agents in a Modal Action Logic

2003 ◽  
pp. 228-241 ◽  
Author(s):  
Matteo Baldoni ◽  
Cristina Baroglio ◽  
Alberto Martelli ◽  
Viviana Patti
Keyword(s):  
Action Logic

Refined Effects for Unanticipated Object Re-classification: $\mathcal{F}ickle_{\rm 3}$

2003 ◽  
pp. 97-110 ◽  
Author(s):  
Ferruccio Damiani ◽  
Sophia Drossopoulou ◽  
Paola Giannini

Finite Horizon Analysis of Stochastic Systems with the Murφ Verifier

2003 ◽  
pp. 58-71 ◽  
Author(s):  
Giuseppe Della Penna ◽  
Benedetto Intrigila ◽  
Igor Melatti ◽  
Enrico Tronci ◽  
Marisa Venturini Zilli
Keyword(s):  
Stochastic Systems ◽  
Finite Horizon

On Programming Models for Mobility

2003 ◽  
pp. 22-22
Author(s):  
Gérard Boudol
Keyword(s):  
Programming Models

Information Flow Security and Recursive Systems

2003 ◽  
pp. 369-382 ◽  
Author(s):  
Annalisa Bossi ◽  
Damiano Macedonio ◽  
Carla Piazza ◽  
Sabina Rossi
Keyword(s):  
Information Flow ◽  
Information Flow Security ◽  
Recursive Systems

On Clausal Equivalence and Hull Inclusion

2003 ◽  
pp. 188-201
Author(s):  
K. Subramani

The Complexity of Checking Consistency of Pedigree Information and Related Problems

2003 ◽  
pp. 174-187 ◽  
Author(s):  
Luca Aceto ◽  
Jens A. Hansen ◽  
Anna Ingólfsdóttir ◽  
Jacob Johnsen ◽  
John Knudsen
Keyword(s):  
Pedigree Information

scholarly journals Algebraic Theories for Contextual Pre-nets

2003 ◽  
pp. 256-270 ◽  
Author(s):  
Roberto Bruni ◽  
José Meseguer ◽  
Ugo Montanari ◽  
Vladimiro Sassone
Keyword(s):  
Algebraic Theories

scholarly journals Towards Compact and Tractable Automaton-Based Representations of Time Granularities

2003 ◽  
pp. 72-85 ◽  
Author(s):  
Ugo Dal Lago ◽  
Angelo Montanari ◽  
Gabriele Puppis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document