2171 search results - page 12 / 435 » A Generic Process Algebra |
110
Voted
SIMULATION
2008
15 years 18 days ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
105
Voted
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
91
Voted
CONCUR
2005
Springer
15 years 2 months ago
2005
Springer
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
111
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...