… distributed computation, composition of models, and … as mock models to mimic the
behavior of the rest of the system. … Note that removing unnecessary elements at model level is …

… We mention here some of them and leave the rest for our … We restrict the model, not by
removing worlds but by removing … of using linear logic as a framework: the idea is that linear logic …

… The rest of the paper is structured as follows: Section 2 presents an overview on the main …
enabling automated model composition, and maximizing the decoupling by removing the need …

… by extracting knowledge from event logs readily … process behavior, we can obtain highly
complex and incomprehensible models; two typical categories of complex process models are …

… Coq, but are rather extracted into the corresponding OCaml … ’s logical mechanisms for restricted
composition of protocols … The rest of the proof is via the Frame rule with 𝑊 = ⟨TPC, ∅⟩, 𝐶 …

… that aims at extracting experimental knowledge from some … For the sake of space in the rest
of this example we will write Ai instead … by means of an approach inspired by Linear Logic [1]. …

… Here, we focus on verifying IFS for service compositions, with … the model composition (model
extraction in Fig. 1). Thanks to the explicit use of composition operators in our abstract model…

… the last decade have focussed on extracting symbolic rules [28] … provides LPaaS as a RESTful
web service developed on a stack … intelligent composition of Web services. The underlying …

… group discussions: one for the interactive theorem prover Isabelle/HOL and one for the …
processes of KeY users and investigate whether we are able to extract a common proof process…

… process models. Due to the central role that process models play in process mining, good
quality models … From these event logs, process mining aims to extract information, for instance …