Sciweavers

Share
110 search results - page 1 / 22
» An Algebraic View on the Semantics of Model Composition
Sort
View
ECMDAFA
2007
Springer
108views Hardware» more  ECMDAFA 2007»
9 years 9 months ago
An Algebraic View on the Semantics of Model Composition
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, ...
AMAST
1998
Springer
9 years 8 months ago
An Algebraic View of Program Composition
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
Pietro Cenciarelli
ARTS
1999
Springer
9 years 8 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
NADA
1998
Springer
136views Hardware» more  NADA 1998»
9 years 7 months ago
Towards an Algebraic Specification of the Java Virtual Machine
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
K. Stephenson
TCS
2002
9 years 3 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
books