SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Ingólfsdóttir Anna) "

Sökning: WFRF:(Ingólfsdóttir Anna)

  • Resultat 1-10 av 17
  • [1]2Nästa
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Aceto, Luca, et al. (författare)
  • A complete classification of the expressiveness of interval logics of Allen’s relations : the general and the dense cases
  • 2016
  • Ingår i: Acta Informatica. - 0001-5903 .- 1432-0525. ; 53:3, s. 207-246
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>Interval temporal logics take time intervals, instead of time points, as their primitive temporal entities. One of the most studied interval temporal logics is Halpern and Shoham’s modal logic of time intervals HS, which associates a modal operator with each binary relation between intervals over a linear order (the so-called Allen’s interval relations). In this paper, we compare and classify the expressiveness of all fragments of HS on the class of all linear orders and on the subclass of all dense linear orders. For each of these classes, we identify a complete set of definabilities between HS modalities, valid in that class, thus obtaining a complete classification of the family of all 4096 fragments of HS with respect to their expressiveness. We show that on the class of all linear orders there are exactly 1347 expressively different fragments of HS, while on the class of dense linear orders there are exactly 966 such expressively different fragments.</p>
  •  
2.
  • Aceto, Luca, et al. (författare)
  • A rule format for unit elements
  • 2010
  • Ingår i: SOFSEM 2010 : Theory and Practice of Computer Science: Proceedings. - Berlin : Springer Berlin/Heidelberg. - 978-3-642-11265-2 - 978-3-642-11266-9 ; s. 141-152
  • Konferensbidrag (refereegranskat)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  •  
3.
  • Aceto, Luca, et al. (författare)
  • A Rule Format for Unit Elements
  • 2009
  • Ingår i: The Equational Logic of Parallel Processes. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.</p>
  •  
4.
  • Aceto, Luca, et al. (författare)
  • Decompositional reasoning about the history of parallel processes
  • 2012
  • Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 16113349 .- 03029743. - 978-364229319-1 ; 7141, s. 32-47
  • Konferensbidrag (refereegranskat)abstract
    • This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.
  •  
5.
  • Aceto, Luca, et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2010
  • Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.</p>
  •  
6.
  • Aceto, Luca, et al. (författare)
  • Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
  • 2013
  • Ingår i: Meta-theory of Algebraic Process Theories. - Berlin : Springer Berlin/Heidelberg.
  • Konferensbidrag (refereegranskat)abstract
    • <p>In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.</p>
  •  
7.
  • Aceto, Luca, et al. (författare)
  • Impossibility results for the equational theory of timed CCS
  • 2007
  • Ingår i: Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings. - Berlin : Springer Berlin/Heidelberg. - 978-3-540-73857-2 - 978-3-540-73859-6 ; s. 80-95
  • Konferensbidrag (refereegranskat)abstract
    • <p>We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR'90. Common to Wang Yi's paper, we particularly focus on a class of linearly-ordered time domains exemplified by the positive real or rational numbers. We show that, even when the set of basic actions is a singleton, there are parallel Timed CCS processes that do not have any sequential equivalent and thus improve on the Gap Theorem for Timed CCS presented by Godskesen and Larsen in FSTTCS'92. Furthermore, we show that timed bisimilarity is not finitely based both for single-sorted and two-sorted presentations of Timed CCS. We further strengthen this result by showing that, unlike in some other process algebras, adding the untimed or the timed left-merge operator to the syntax and semantics of Timed CCS does not solve the axiomatizability problem.</p>
  •  
8.
  • Aceto, Luca, et al. (författare)
  • Lifting non-finite axiomatizability results to extensions of process algebras
  • 2008
  • Ingår i: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008. - New York : Springer-Verlag New York. - 978-0-387-09679-7 - 978-0-387-09680-3 ; s. 301-316
  • Konferensbidrag (refereegranskat)abstract
    • <p>This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational proofs over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller’s celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied.</p>
  •  
9.
  •  
10.
  • Aceto, Luca, et al. (författare)
  • On Rule Formats for Zero and Unit Elements
  • 2010
  • Ingår i: New Developments in Operational Semantics. - Eindhoven : Eindhoven University of Technology.
  • Rapport (övrigt vetenskapligt)abstract
    • <p>This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.</p>
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 17
  • [1]2Nästa
 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy