1318 search results - page 30 / 264 » The formal semantics of the timeER model |
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
101
Voted
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
119
Voted
ENTCS
2008
15 years 1 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
126
click to vote
ISPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
242
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...