Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642034282, 9783642034299

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_9 ◽

2009 ◽

pp. 119-134 ◽

Author(s):

Pietro Di Gianantonio ◽

Furio Honsell ◽

Marina Lenisa

Keyword(s):

Transition Systems ◽

Labelled Transition Systems ◽

Process Calculi

Download Full-text

Translating a Dependently-Typed Logic to First-Order Logic

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_21 ◽

2009 ◽

pp. 326-341

Author(s):

Kristina Sojakova ◽

Florian Rabe

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text

Molecules as Automata

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_2 ◽

2009 ◽

pp. 18-20

Author(s):

Luca Cardelli

Download Full-text

Service-Level Agreements for Service-Oriented Computing

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_3 ◽

2009 ◽

pp. 21-36 ◽

Author(s):

Allan Clark ◽

Stephen Gilmore ◽

Mirco Tribastone

Keyword(s):

Service Level ◽

Service Level Agreements ◽

Service Oriented Computing ◽

Service Oriented

Download Full-text

Declarative Debugging of Rewriting Logic Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_20 ◽

2009 ◽

pp. 308-325 ◽

Author(s):

Adrian Riesco ◽

Alberto Verdejo ◽

Rafael Caballero ◽

Narciso Martí-Oliet

Keyword(s):

Rewriting Logic

Download Full-text

Reconfiguring Distributed Reo Connectors

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_15 ◽

2009 ◽

pp. 221-235 ◽

Author(s):

Christian Koehler ◽

Farhad Arbab ◽

Erik de Vink

Download Full-text

Graph Transformation with Dependencies for the Specification of Interactive Systems

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_8 ◽

2009 ◽

pp. 102-118 ◽

Author(s):

Andrea Corradini ◽

Luciana Foss ◽

Leila Ribeiro

Keyword(s):

Graph Transformation ◽

Interactive Systems

Download Full-text

C-semiring Frameworks for Minimum Spanning Tree Problems

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_5 ◽

2009 ◽

pp. 56-70 ◽

Author(s):

Stefano Bistarelli ◽

Francesco Santini

Keyword(s):

Spanning Tree ◽

Minimum Spanning Tree

Download Full-text

Term-Generic Logic

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_19 ◽

2009 ◽

pp. 290-307 ◽

Author(s):

Andrei Popescu ◽

Grigore Roşu

Download Full-text

Heterogeneous Logical Environments for Distributed Specifications

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03429-9_18 ◽

2009 ◽

pp. 266-289 ◽

Author(s):

Till Mossakowski ◽

Andrzej Tarlecki

Download Full-text