946 search results - page 128 / 190 » Process Algebra and Non-Interference |
115
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
126
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
106
click to vote
PLILP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
107
Voted
CONCUR
1992
Springer
15 years 4 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
120
Voted
MFCS
1991
Springer
15 years 4 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...