5451 search results - page 102 / 1091 » Typed Operational Semantics |
118
Voted
ENTCS
2007
15 years 3 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
93
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
136
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper reports intermediate-scale instability in a single-stage power-factor-correction (PFC) power supply that employs a cascade configuration of a boost stage operating ...
137
click to vote
IMC
2006
ACM
15 years 9 months ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...