Sciweavers

LOGCOM
2010
128views more  LOGCOM 2010»
13 years 12 days ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
LOGCOM
2010
152views more  LOGCOM 2010»
13 years 12 days ago
Constructive Logic with Strong Negation as a Substructural Logic
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
Manuela Busaniche, Roberto Cignoli
LOGCOM
2010
154views more  LOGCOM 2010»
13 years 12 days ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
LOGCOM
2010
120views more  LOGCOM 2010»
13 years 12 days ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
LOGCOM
2010
64views more  LOGCOM 2010»
13 years 4 months ago
Presentation of Set Functors: A Coalgebraic Perspective
Jirí Adámek, H. Peter Gumm, Vera Trn...
LOGCOM
2010
143views more  LOGCOM 2010»
13 years 4 months ago
Vietoris Bisimulations
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
Nick Bezhanishvili, Gaëlle Fontaine, Yde Vene...
LOGCOM
2010
82views more  LOGCOM 2010»
13 years 4 months ago
Deduction Systems for Coalgebras Over Measurable Spaces
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
Robert Goldblatt
LOGCOM
2010
158views more  LOGCOM 2010»
13 years 4 months ago
Applying Universal Algebra to Lambda Calculus
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
Giulio Manzonetto, Antonino Salibra
LOGCOM
2010
77views more  LOGCOM 2010»
13 years 4 months ago
Rule Systems for Run-time Monitoring: from Eagle to RuleR
Howard Barringer, David E. Rydeheard, Klaus Havelu...
LOGCOM
2010
83views more  LOGCOM 2010»
13 years 4 months ago
Syllogistic Logics with Verbs
This paper provides sound and complete logical systems for several fragments of English which go beyond syllogistic logic in that they use verbs as well as other limited syntactic...
Lawrence S. Moss