Vladimiro Sassone (Ed.):
Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings.
Lecture Notes in Computer Science 3441 Springer 2005, ISBN 3-540-25388-2 Invited Talks
export record as
dblp key:
export record as
dblp key:
Marcelo P. Fiore :
Mathematical Models of Computational and Combinatorial Structures.
25-46
Rule Formats and Bisimulation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Probabilistic Models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fossacs/CattaniSKN05 export record as
dblp key:
conf/fossacs/LaroussinieS05
Algebraic Models
export record as
dblp key:
Ian Stark :
Free-Algebra Models for the pi -Calculus.
155-169
export record as
dblp key:
export record as
dblp key:
conf/fossacs/Fahrenberg05
Games and Automata
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Language Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/fossacs/BartolettDF05
Partial Order Models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Logics
export record as
dblp key:
James Cheney :
A Simpler Proof Theory for Nominal Logic.
379-394
export record as
dblp key:
conf/fossacs/CalcagnoGH05 export record as
dblp key:
export record as
dblp key:
Coalgebraic Modal Logics
export record as
dblp key:
Lutz Schröder :
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.
440-454
export record as
dblp key:
conf/fossacs/BonsangueK05
Computational Models
export record as
dblp key:
Lukasz Kaiser :
Confluence of Right Ground Term Rewriting Systems Is Decidable.
470-489
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
