153 citations
- Centrum Wiskunde & InformaticaNL2 papers
- Sobolev Institute of MathematicsRU2 papers
- Alexandru Ioan Cuza UniversityRO1 paper
- Arizona State UniversityUS1 paper
- Boston UniversityUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Chalmers University of TechnologySE1 paper
- Délégation Paris 7FR1 paper
- DePaul UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- INESC TECPT1 paper
- Institute of Mathematics and InformaticsBG1 paper
4 papers · 1 filter
Wireless Scheduling with Power Control
Magnus M. Halldorsson
We consider the scheduling of arbitrary wireless links in the physical model of interference to minimize the time for satisfying all requests. We study here the combined problem of…
Proceedings Seventh Workshop on Structural Operational Semantics
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…
On a game theoretic approach to capacity maximization in wireless networks
Eyjólfur Ingi Ásgeirsson, Pradipta Mitra
We consider the capacity problem (or, the single slot scheduling problem) in wireless networks. Our goal is to maximize the number of successful connections in arbitrary wireless n…
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir
This paper presents a bisimulation-based method for establishing the soundness of equations between terms constructed using operations whose semantics is specified by rules in the…