Volume 41
From CERES
A list of all pages that have property "Volume" with value "41".
Since there have been only a few results, also nearby values are displayed.
- Publications:Guest editorial for the special issue on "Next generation networks service management" + (34)
- Publications:Orthogonal extensions in structural operational semantics + (3580)
- Publications:A Domain-specific Approach for Software Development on Manycore Platforms + (36)
- Publications:Two fiber-ribbon ring networks for parallel and distributed computing systems + (37)
- Publications:SOS formats and meta-theory : 20 years after + (373)
- Publications:A processor array module for distributed, massively parallel, embedded computing + (38)
- Publications:Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects + (4)
- Publications:Optical interconnection technology in switches, routers and optical cross connects + (4)
- Publications:Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks + (4)
- Publications:Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems + (4)
- Publications:SOS Rule Formats for Zero and Unit Elements + (412)
- Publications:Decompositional Reasoning about the History of Parallel Processes + (4171)
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems + (4171)
- Publications:Wireless broadband access : WiMax and beyond - Investigation of bandwidth request mechanisms under point-to-multipoint mode of WiMAX networks + (45)
- Publications:Rule Formats for Distributivity + (458)
- Publications:Impossibility results for the equational theory of timed CCS + (4624)
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras + (47)
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca + (47)
- Publications:Operational and epistemic approaches to protocol analysis : bridging the gap + (4790)
- Publications:Towards reliable wireless industrial communication with real-time guarantees + (5)
