4370 search results - page 386 / 874 » Algebra of Logic Programming |
162
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
107
click to vote
APLAS
2003
ACM
15 years 8 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
148
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...
153
click to vote
FMOODS
2003
15 years 4 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
116
click to vote
AMC
2005
15 years 3 months ago
2005
This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The ...