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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642370748, 9783642370755
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Deciding Definability by Deterministic Regular Expressions

2013 ◽  
pp. 289-304 ◽  
Author(s):  
Wojciech Czerwiński ◽  
Claire David ◽  
Katja Losemann ◽  
Wim Martens
Keyword(s):  
Regular Expressions

scholarly journals On Unique Decomposition of Processes in the Applied π-Calculus

2013 ◽  
pp. 50-64 ◽  
Author(s):  
Jannik Dreier ◽  
Cristian Ene ◽  
Pascal Lafourcade ◽  
Yassine Lakhnech
Keyword(s):  
Unique Decomposition ◽  
Π Calculus

scholarly journals Fatal Attractors in Parity Games

2013 ◽  
pp. 34-49 ◽  
Author(s):  
Michael Huth ◽  
Jim Huan-Pu Kuo ◽  
Nir Piterman
Keyword(s):  
Parity Games

scholarly journals Checking Bisimilarity for Attributed Graph Transformation

2013 ◽  
pp. 113-128
Author(s):  
Fernando Orejas ◽  
Artur Boronat ◽  
Ulrike Golas ◽  
Nikos Mylonakis
Keyword(s):  
Graph Transformation ◽  
Attributed Graph
Load More ...
Sign in / Sign up

Export Citation Format

Share Document