Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

THz quantum cascade laser frequency combs

We demonstrate THz optical frequency comb (FC) operation based on ultra-broadband, record dynamic range Quantum Cascade Lasers (QCLs) which exploit a heterogeneous active region design to achieve low and flat chromatic dispersion at the center of the gain curve. By implementing a Gires-Tournois Interferometer (GTI), as tightly coupled at one end of the QCL cavity, we provide lithographically-independent control of the free-running coherence properties of such THz-QCL FC and attain wide dispersion compensation regions, where stable and narrow (~3 kHz linewidth) single beatnotes extend over an operation range that is significantly larger than that of dispersiondominated bare laser cavity counterparts

Extensional and Intensional Strategies

This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives

Short THz pulse generation from a dispersion compensated modelocked quantum cascade laser

Dispersion compensation is vital for the generation of ultrashort and single cycle pulses from modelocked lasers across the electromagnetic spectrum. However, no such scheme have been successfully applied to terahertz (THz) quantum cascade lasers (QCL) for short and stable pulse generation in the THz range. Here we show a monolithic on-chip compensation scheme for a modelocked QCL, permitting THz pulses to be considerably shortened from 16ps to 4ps. This is based on the realization of a small coupled cavity resonator that acts as an 'off resonance' Gires-Tournois interferometer (GTI), permitting large THz spectral bandwidths to be compensated

An Introduction to Simulation-Based Techniques for Automated Service Composition

This work is an introduction to the author's contributions to the SOC area, resulting from his PhD research activity. It focuses on the problem of automatically composing a desired service, given a set of available ones and a target specification. As for description, services are represented as finite-state transition systems, so to provide an abstract account of their behavior, seen as the set of possible conversations with external clients. In addition, the presence of a finite shared memory is considered, that services can interact with and which provides a basic form of communication. Rather than describing technical details, we offer an informal overview of the whole work, and refer the reader to the original papers, referenced throughout this work, for all details

Tunable and compact dispersion compensation of broadband THz quantum cascade laser frequency combs

Miniaturized frequency combs (FCs) can be self-generated at terahertz (THz) frequencies through four-wave mixing in the cavity of a quantum cascade laser (QCL). To date, however, stable comb operation is only observed over a small operational current range in which the bias-depended chromatic dispersion is compensated. As most dispersion compensation techniques in the THz range are not tunable, this limits the spectral coverage of the comb and the emitted output power, restricting potential applications in, for example, metrology and ultrashort THz pulse generation. Here, we demonstrate an alternative architecture that provides a tunable, lithographically independent, control of the free-running coherence properties of THz QCL FCs. This is achieved by integrating an on-chip tightly coupled mirror with the QCL cavity, providing an external cavity and hence a tunable Gires Tournois interferometer (GTI). By finely adjusting the gap between the GTI and the back-facet of an ultra-broadband, high dynamic range QCL, we attain wide dispersion compensation regions, where stable and narrow (~3 kHz linewidth) single beatnotes extend over an operation range that is significantly larger than that of dispersion-dominated bare laser cavity counterparts. Significant reduction of the phase noise is registered over the whole QCL spectral bandwidth (1.35 THz). This agile accommodation of a tunable dispersion compensator will help enable uptake of QCL-combs for metrological, spectroscopic and quantum technology−oriented applications