1788 search results - page 27 / 358 » Model Theory for Process Algebra |
99
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
91
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
105
Voted
JLP
2007
15 years 12 days ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
94
Voted
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
92
Voted
DATESO
2008
15 years 1 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...