200 search results - page 15 / 40 » Algebraic Operational Semantics and Occam |
129
Voted
SWS
2004
ACM
15 years 6 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
102
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
135
Voted
ICDT
2009
ACM
15 years 7 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
96
Voted
TCS
2002
15 years 5 days ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
102
Voted
TACS
2001
Springer
15 years 5 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...