221 search results - page 7 / 45 » Heyting Algebras and Formal Languages |
CONCUR
2003
Springer
14 years 4 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
ADBIS
2009
Springer
14 years 5 months ago
2009
Springer
We propose linear systems of hedge language equations (LSH) as a formalism to represent regular hedge languages. These linear systems are suitable for several computations in the a...
FASE
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
FORMATS
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
EACL
1993
ACL Anthology
14 years 6 days ago
1993
ACL Anthology
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...