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

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319281131, 9783319281148
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Full Operational Semantics for Asynchronous Relational Networks

2015 ◽  
pp. 131-150
Author(s):  
Ignacio Vissani ◽  
Carlos Gustavo Lopez Pombo ◽  
Ionuţ Ţuţu ◽  
José Luiz Fiadeiro
Keyword(s):  
Operational Semantics ◽  
Relational Networks

On Logic Embeddings and Gödel’s God

2015 ◽  
pp. 3-6 ◽  
Author(s):  
Christoph Benzmüller ◽  
Bruno Woltzenlogel Paleo

scholarly journals A Theoretical Foundation for Programming Languages Aggregation

2015 ◽  
pp. 30-47 ◽  
Author(s):  
Ştefan Ciobâcă ◽  
Dorel Lucanu ◽  
Vlad Rusu ◽  
Grigore Roşu
Keyword(s):  
Programming Languages ◽  
Theoretical Foundation

Use Case Analysis Based on Formal Methods: An Empirical Study

2015 ◽  
pp. 110-130 ◽  
Author(s):  
Marcos Oliveira ◽  
Leila Ribeiro ◽  
Érika Cota ◽  
Lucio Mauro Duarte ◽  
Ingrid Nunes ◽  
...  
Keyword(s):  
Empirical Study ◽  
Formal Methods ◽  
Case Analysis ◽  
Use Case

scholarly journals Coalgebraic Semantics of Heavy-Weighted Automata

2015 ◽  
pp. 48-68
Author(s):  
Marie Fortin ◽  
Marcello M. Bonsangue ◽  
Jan Rutten
Keyword(s):  
Weighted Automata

An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework

2015 ◽  
pp. 9-29 ◽  
Author(s):  
Claudia Elena Chiriţă ◽  
Traian Florin Şerbănuţă
Keyword(s):  
Semantic Framework

scholarly journals What Is a Derived Signature Morphism?

2015 ◽  
pp. 90-109 ◽  
Author(s):  
Till Mossakowski ◽  
Ulf Krumnack ◽  
Tom Maibaum
Load More ...
Sign in / Sign up

Export Citation Format

Share Document