SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "LAR1:hh "

Sökning: LAR1:hh

Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
31.
  • Aceto, Luca, et al. (författare)
  • Algebraic properties for free!
  • 2009
  • Ingår i: Bulletin of the European Association for Theoretical Computer Science. - European Association for Theoretical Computer Science. - 0252-9742. ; 99, s. 81-103
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.</p>
  •  
32.
  • Aceto, L., et al. (författare)
  • Decompositional Reasoning about the History of Parallel Processes
  • 2011
  • Ingår i: Fundamentals of software engineering : revised selected papers. - Heidelberg : Springer Berlin/Heidelberg. - 978-3-642-29319-1 - 978-3-642-29320-7 ; s. 32-47
  • Konferensbidrag (refereegranskat)abstract
    • <p>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. © 2012 Springer-Verlag.</p>
  •  
33.
  • 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>
  •  
34.
  • 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>
  •  
35.
  • 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>
  •  
36.
  • Aceto, L., et al. (författare)
  • Lifting non-finite axiomatizability results to extensions of process algebras
  • 2010
  • Ingår i: Acta Informatica. - Amsterdam : Elsevier. - 0001-5903 .- 1432-0525. ; 47:3, s. 147-177
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural (pre)congruences 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 provability 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. In particular, it is shown that prebisimilarity is not finitely based over CCS with the divergent process Ω, but that this result cannot be proved by a reduction to the non-finite axiomatizability of CCS modulo bisimilarity. This negative result is the inspiration for the development of a sharpened reduction method that is powerful enough to show that prebisimilarity is not finitely based over CCS with the divergent process Ω. © 2010 Springer-Verlag.</p>
  •  
37.
  • 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>
  •  
38.
  •  
39.
  • 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>
  •  
40.
  • Aceto, Luca, et al. (författare)
  • Rule Formats for Determinism and Idempotence
  • 2012
  • Ingår i: Science of Computer Programming. - Amsterdam : Elsevier. - 0167-6423 .- 1872-7964. ; 77, s. 889-907
  • Tidskriftsartikel (refereegranskat)abstract
    • <p>Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature. © 2010 Elsevier B.V. All rights reserved.</p>
  •  
Skapa referenser, mejla, bekava och länka
Åtkomst
fritt online (1739)
Typ av publikation
tidskriftsartikel (3466)
konferensbidrag (2749)
bokkapitel (838)
rapport (361)
doktorsavhandling (202)
annan publikation (195)
visa fler...
bok (129)
recension (86)
licentiatavhandling (85)
samlingsverk (redaktörskap) (72)
proceedings (redaktörskap) (51)
forskningsöversikt (41)
patent (31)
konstnärligt arbete (8)
visa färre...
Typ av innehåll
refereegranskat (6295)
övrigt vetenskapligt (5194)
populärvet., debatt m.m. (397)
Författare/redaktör
Vinel, Alexey, 1983- ... (197)
Stambulova, Natalia, ... (160)
Svensson, Göran, 196 ... (150)
Fridlund, Bengt, (147)
Jonsson, Magnus, 196 ... (138)
Bergman, Stefan, 195 ... (129)
visa fler...
Solberg Søilen, Klau ... (113)
Svedberg, Petra, 197 ... (112)
Johnson, Urban, 1961 ... (112)
Bremander, Ann, 1957 ... (111)
Andersson, Svante, 1 ... (110)
Iagnemma, Karl, (96)
Ivarsson, Andreas, 1 ... (93)
Bacauskiene, Marija, (86)
Verikas, Antanas, (84)
Gabrielsson, Jonas, ... (79)
Sandberg, Mikael, 19 ... (79)
Nilsson, Pernilla, 1 ... (78)
Pettersson, Håkan, 1 ... (72)
Bååth, L.B., 1948-, (71)
Rosen, Bengt-Göran, ... (71)
Skärsäter, Ingela, 1 ... (70)
Gelzinis, Adas, (69)
Bigun, Josef, 1961-, (67)
Jormfeldt, Henrika, ... (66)
Karlsson, Staffan, 1 ... (66)
Taha, Walid, 1971-, (64)
Svensson, Göran, (62)
Erlandsson, Lena-Kar ... (62)
Stambulova, Natalia (62)
Verikas, Antanas, 19 ... (59)
Berg, Martin, 1977-, (58)
Ziegert, Kristina, 1 ... (57)
Werner, Sven, 1952-, (57)
Nowaczyk, Sławomir, ... (56)
Larsson, Ingrid, 196 ... (55)
Rosén, Bengt-Göran, (55)
Tideman, Magnus, 195 ... (55)
Mousavi, Mohammad Re ... (54)
Bigun, Josef, (53)
Fridlund, Bengt, 195 ... (53)
Samuelson, Lars, (49)
Wood, Greg, (49)
Haglund, Emma, 1970- ... (46)
Nygren, Jens M., 197 ... (45)
Svensson, Bertil, (45)
Arvidsson, Barbro, (45)
Åkesson, Maria, 1963 ... (44)
Carlsson, Ing-Marie, ... (44)
Johansson, Jörgen, 1 ... (44)
visa färre...
Lärosäte
Högskolan i Halmstad (8306)
Språk
Engelska (6833)
Svenska (1312)
Tyska (45)
Spanska (23)
Norska (10)
Danska (9)
visa fler...
Bulgariska (7)
Ukrainska (6)
Kinesiska (3)
Franska (2)
Portugisiska (2)
Ryska (1)
Finska (1)
Nederländska (1)
Turkiska (1)
visa färre...
Forskningsämne (UKÄ/SCB)
Samhällsvetenskap (3261)
Teknik (1871)
Medicin och hälsovetenskap (1624)
Naturvetenskap (1239)
Humaniora (540)
Lantbruksvetenskap (25)

År

 
pil uppåt Stäng

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