714 search results - page 1 / 143 » The Formal Specification Language mCRL2 |
DAGSTUHL
2006
13 years 6 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
ECOOP
1999
Springer
13 years 9 months ago
1999
Springer