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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540253273, 9783540319597

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Conditional to Unconditional Rewriting

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

10.1007/978-3-540-31959-7_13 ◽

2005 ◽

pp. 218-233 ◽

Cited By ~ 4

Author(s):

Grigore Roşu

Download Full-text

Modelling Mobility with Petri Hypernets

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

10.1007/978-3-540-31959-7_2 ◽

2005 ◽

pp. 28-44 ◽

Cited By ~ 19

Author(s):

Marek A. Bednarczyk ◽

Luca Bernardinello ◽

Wiesław Pawłowski ◽

Lucia Pomello

Download Full-text

Application and Formal Specification of Sorted Term-Position Algebras

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

10.1007/978-3-540-31959-7_12 ◽

2005 ◽

pp. 201-217 ◽

Cited By ~ 1

Author(s):

Arnd Poetzsch-Heffter ◽

Nicole Rauch

Keyword(s):

Formal Specification

Download Full-text

A Distributed and Mobile Component System Based on the Ambient Calculus

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

10.1007/978-3-540-31959-7_11 ◽

2005 ◽

pp. 186-200

Author(s):

Nikos Mylonakis ◽

Fernando Orejas

Keyword(s):

Component System ◽

Mobile Component ◽

Ambient Calculus

Download Full-text

Type Class Polymorphism in an Institutional Framework

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

10.1007/978-3-540-31959-7_14 ◽

2005 ◽

pp. 234-251 ◽

Cited By ~ 4

Author(s):

Lutz Schröder ◽

Till Mossakowski ◽

Christoph Lüth

Keyword(s):

Institutional Framework

Download Full-text

Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems

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

10.1007/978-3-540-31959-7_9 ◽

2005 ◽

pp. 144-161 ◽

Cited By ~ 3

Author(s):

Michał Misiak

Keyword(s):

Algebraic Specifications

Download Full-text

Behavior-Preserving Refinement Relations Between Dynamic Software Architectures

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

10.1007/978-3-540-31959-7_1 ◽

2005 ◽

pp. 1-27 ◽

Cited By ~ 3

Author(s):

Reiko Heckel ◽

Sebastian Thöne

Keyword(s):

Software Architectures ◽

Dynamic Software

Download Full-text

Towards a Formal Specification of an Electronic Payment System in CSP-CASL

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

10.1007/978-3-540-31959-7_4 ◽

2005 ◽

pp. 61-78 ◽

Cited By ~ 9

Author(s):

Andy Gimblett ◽

Markus Roggenbach ◽

Bernd-Holger Schlingloff

Keyword(s):

Formal Specification ◽

Payment System ◽

Electronic Payment ◽

Electronic Payment System

Download Full-text

Cryptomorphisms at Work

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

10.1007/978-3-540-31959-7_3 ◽

2005 ◽

pp. 45-60 ◽

Cited By ~ 3

Author(s):

Carlos Caleiro ◽

Jaime Ramos

Download Full-text

A Simple Refinement Language for Casl

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

10.1007/978-3-540-31959-7_10 ◽

2005 ◽

pp. 162-185 ◽

Cited By ~ 9

Author(s):

Till Mossakowski ◽

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

From Conditional to Unconditional Rewriting

Modelling Mobility with Petri Hypernets

Application and Formal Specification of Sorted Term-Position Algebras

A Distributed and Mobile Component System Based on the Ambient Calculus

Type Class Polymorphism in an Institutional Framework

Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems

Behavior-Preserving Refinement Relations Between Dynamic Software Architectures

Towards a Formal Specification of an Electronic Payment System in CSP-CASL

Cryptomorphisms at Work

A Simple Refinement Language for Casl

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