| 11. |
- Aceto, L., et al.
(author)
-
Decompositional Reasoning about the History of Parallel Processes
- 2011
-
In: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
-
Conference paper (peer-reviewed)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. © 2012 Springer-Verlag.
|
|
| 12. |
- Aceto, Luca, et al.
(author)
-
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
- 2013
-
In: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783642402067 - 9783642402050 ; , s. 36-50
-
Conference paper (peer-reviewed)abstract
- 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.
|
|
| 13. |
- Aceto, L., et al.
(author)
-
Lifting non-finite axiomatizability results to extensions of process algebras
- 2010
-
In: Acta Informatica. - Amsterdam : Elsevier. - 0001-5903 .- 1432-0525. ; 47:3, s. 147-177
-
Journal article (peer-reviewed)abstract
- 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.
|
|
| 14. |
- Aceto, Luca, et al.
(author)
-
On Rule Formats for Zero and Unit Elements
- 2010
-
Reports (other academic/artistic)abstract
- 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.
|
|
| 15. |
- Aceto, Luca, et al.
(author)
-
Rule formats for determinism and idempotence
- 2012
-
In: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
-
Journal article (peer-reviewed)abstract
- 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.
|
|
| 16. |
- Aceto, Luca, et al.
(author)
-
Rule Formats for Distributivity
- 2012
-
In: Theoretical Computer Science. - : Elsevier BV. - 0304-3975 .- 1879-2294. ; 458, s. 1-28
-
Journal article (peer-reviewed)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.
|
|
| 17. |
- Aceto, Luca, et al.
(author)
-
Rule Formats for Distributivity
- 2011
-
In: Language and Automata Theory and Applications. - Heidelberg : Springer Berlin/Heidelberg. - 9783642212536 ; , s. 79-90
-
Conference paper (peer-reviewed)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.
|
|
| 18. |
- Aceto, Luca, et al.
(author)
-
Rule Formats for Distributivity
- 2010
-
Reports (other academic/artistic)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.
|
|
| 19. |
- Aceto, Luca, et al.
(author)
-
SOS Rule Formats for Zero and Unit Elements
- 2011
-
In: Theoretical Computer Science. - Amsterdam : Elsevier. - 0304-3975 .- 1879-2294. ; 412:28, s. 3045-3071
-
Journal article (peer-reviewed)abstract
- This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.
|
|
| 20. |
- Achtenhagen, Leona, 1969-, et al.
(author)
-
Frühe Internationalisierung eines Unternehmens im Hochtechnologiebereich - Treiber und Hindernisse
- 2011
-
In: Zeitschrift für KMU und Entrepreneurship. - Berlin : Duncker & Humblot. - 1860-4633 .- 1865-5114. ; 59:2, s. 125-140
-
Journal article (peer-reviewed)abstract
- SMEs in high-technology industries, such as life sciences, face a fundamental challenge. On the one hand, i.a. high product development costs push firms to early-stage internationalization to speed up the amortization of those investments. On the other hand, a number of factors constitute hinders to internationalization, such as insufficient endowments with financial resources and the need to adapt to local regulations, which differ between countries. To date, little is known about how SMEs in practice master this challenge. Based on a longitudinal, in-depth case study of a young company from a high-technology sector, this paper aims at providing a better understanding of early internationalization processes of startups in these industries. This paper is closely linked to practice, while at the same time is contributing to the literature on international entrepreneurship.
|
|
