4372 search results - page 4 / 875 » Data Semantics Revisited |
ENTCS
2010
13 years 5 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
IJKL
2007
13 years 7 months ago
2007
: In the light of high profile governmental and international efforts to realise the knowledge society, I review the arguments made for and against it from a technology standpoint....
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...