A critical issue for the design of a System-of-Systems (SoS) is the formal description of its
architecture. One of the complicating factors for formally describing SoS architectures is that …

A System-of-Systems (SoS) is evolutionary developed from independent systems to achieve
missions not possible to be accomplished by a single system alone. They are architecturally …

The combination of timed, spatial, and epistemic information is often needed in the
specification of modern concurrent systems. We propose the proof system SELL ^\Cap …

In previous works we have shown that linear logic with subexponentials (SELL), a
refinement of linear logic, can be used to specify emergent features of concurrent constraint …

A challenging issue in the architectural design of Systems-of-Systems (SoS) for the Internet-
of-Things (IoT) is how to architect an SoS in a way that the required behavior to fulfil the SoS …

The pervasiveness of the communication networks increasingly has made possible to
interconnect software‐intensive systems that were independently developed, operated …

Abstract Reaction Systems (RSs) are a computational framework inspired by biochemical
systems, where entities produced by reactions can enable or inhibit other reactions. RSs …

In this work we present the focused proof system SELLF⋒, which extends intuitionistic linear
logic with subexponentials with the ability of quantifying over them, hence allowing for the …

A challenging issue in the architectural design of a System-of-Systems (SoS) is how to cope
with the uncertainty raised by the limited knowledge of the operational environment where …

Abstract Nowadays, the Internet-of-Things (IoT) enables the engineering of Software-
intensive Systems-of-Systems (SoS), which are opportunistically created for achieving …