Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319231648, 9783319231655
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Satisfiability of Constraint Specifications on XML Documents

2015 ◽  
pp. 539-561
Author(s):  
Marisa Navarro ◽  
Fernando Orejas ◽  
Elvira Pino
Keyword(s):  
Xml Documents

Modularity of Ontologies in an Arbitrary Institution

2015 ◽  
pp. 361-379 ◽  
Author(s):  
Yazmin Angelica Ibañez ◽  
Till Mossakowski ◽  
Donald Sannella ◽  
Andrzej Tarlecki

Model-Checking Helena Ensembles with Spin

2015 ◽  
pp. 331-360 ◽  
Author(s):  
Rolf Hennicker ◽  
Annabelle Klarl ◽  
Martin Wirsing
Keyword(s):  
Model Checking

scholarly journals Discretionary Information Flow Control for Interaction-Oriented Specifications

2015 ◽  
pp. 427-450
Author(s):  
Alberto Lluch Lafuente ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Flow Control

scholarly journals ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge

2015 ◽  
pp. 617-631 ◽  
Author(s):  
Samuel Wood ◽  
James Mathewson ◽  
Joshua Joy ◽  
Mark-Oliver Stehr ◽  
Minyoung Kim ◽  
...  
Keyword(s):  
Situational Awareness

scholarly journals Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

2015 ◽  
pp. 72-96 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Francisco Frechina ◽  
Julia Sapiña
Keyword(s):  
Error Diagnosis

Weak Bisimulation as a Congruence in MSOS

2015 ◽  
pp. 519-538
Author(s):  
Peter D. Mosses ◽  
Ferdinand Vesely
Keyword(s):  
Weak Bisimulation

When Is a Formula a Loop Invariant?

2015 ◽  
pp. 264-286 ◽  
Author(s):  
Stephan Falke ◽  
Deepak Kapur
Keyword(s):  
Loop Invariant
Load More ...
Sign in / Sign up

Export Citation Format

Share Document