Sciweavers

Share
680 search results - page 1 / 136
» Generic Trace Logics
Sort
View
CORR
2011
Springer
222views Education» more  CORR 2011»
8 years 1 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general deļ¬nition fo...
Christian Kissig, Alexander Kurz
CALCO
2015
Springer
18views Mathematics» more  CALCO 2015»
3 years 2 months ago
Generic Trace Semantics and Graded Monads
Models of concurrent systems employ a wide variety of semantics inducing various notions of process equivalence, ranging from linear-time semantics such as trace equivalence to br...
Stefan Milius, Dirk Pattinson, Lutz Schröder
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
8 years 6 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...
CADE
2005
Springer
9 years 6 months ago
Reflecting Proofs in First-Order Logic with Equality
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
Evelyne Contejean, Pierre Corbineau
books