1000 search results - page 84 / 200 » Nominal rewriting systems |
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Antenna selection combined with dual-polarized antennas offers an attractive alternative for realizing higher order multiple-input multiple-output (MIMO) configurations in com...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— Process variations and temperature variations can cause both the frequency and the leakage of the chip to vary significantly from their expected values, thereby decreasing the...
PEPM
2010
ACM
13 years 9 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...