Log in

Relevant bibliographies by topics / Process algebras / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Process algebras.

Dissertations / Theses on the topic 'Process algebras'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Process algebras.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Valaškevičius, Šarūnas. "Simulation tool for hybrid process algebras." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100615_084732-33186.

Full text

Abstract:

A hybrid system is a system that presents both continuous time evolution and discrete events. To define and analyse such systems prior to building actual products, a hybrid process algebra can be employed. Simulation is often used as a convenient way for a better understanding of the systems’ evolution and its potential weaknesses. This study aims at creating a general architecture of the simulation tool for hybrid process algebras, together with a practical implementation of Behavioural Hybrid Process Calculus simulator. For achieving this objective, a list of tasks has been composed, includi

APA, Harvard, Vancouver, ISO, and other styles

2

Aceto, Luca. "Action refinement in process algebras /." Cambridge ; New York, NY, USA : Cambridge University Press, 1992. http://www.loc.gov/catdir/toc/cam029/92249890.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Christensen, Søren. "Decidability and decomposition in process algebras." Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/410.

Full text

Abstract:

This thesis is concerned with the question of obtaining decidable theories for behavioural equivalences on various models of (parallel) computation encompassing systems with infinitely many states. The models on which we concentrate are based on the process calculi BPA and BPP but we also consider labelled Petri nets. The equivalences which we are interested in are language equivalence, bisimulation equivalence and distributed bisimulation equivalence. BPA (Basic Process Algebra) is provided by a standard calculus which admits of a general sequencing operator, along with atomic actions, choice

APA, Harvard, Vancouver, ISO, and other styles

4

Bradley, Jeremy Thomas. "Towards reliable modelling with stochastic process algebras." Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302166.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kuntz, Georg Wolfgang Matthias. "Symbolic semantics and verification of stochastic process algebras." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=97894139X.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Stríbrná, Jitka. "Decidability and complexity of equivalences for simple process algebras." Thesis, University of Edinburgh, 1999. http://hdl.handle.net/1842/383.

Full text

Abstract:

In this thesis I study decidability, complexity and structural properties of strong and weak bisimilarity with respect to two process algebras, Basic Process Algebras and Basic Parallel Process Algebras. The decidability of strong bisimilarity for both algebras is an established result. For the subclasses of normed BPA-processes and BPP there even exist polynomial decision procedures. The complexity of deciding strong bisimilarity for the whole class of BPP is unsatisfactory since it is not bounded by any primitive recursive function. Here we present a new approach that encodes BPP as special

APA, Harvard, Vancouver, ISO, and other styles

7

Cattani, Stefano. "Trace-based process algebras for real-time probabilistic systems." Thesis, University of Birmingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419694.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Sangiorgi, Davide. "Expressing mobility in process algebras : first-order and higher-order paradigms." Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/6569.

Full text

Abstract:

We study mobile systems, i.e. systems with a dynamically changing communication topology, from a process algebras point of view. Mobility can be introduced in process algebras by allowing names or terms to be transmitted. We distinguish these two approaches as first-order and higher-order. The major target of the thesis is the comparison between them. The prototypical calculus in the first-order paradigm is the π-calculus. By generalising its sort discipline we derive an w-order extension called Higher-Order π-calculus (HOπ). We show that such an extension does not add expressiveness to the π-

APA, Harvard, Vancouver, ISO, and other styles

9

Milios, Dimitrios. "On approximating the stochastic behaviour of Markovian process algebra models." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8930.

Full text

Abstract:

Markov chains offer a rigorous mathematical framework to describe systems that exhibit stochastic behaviour, as they are supported by a plethora of methodologies to analyse their properties. Stochastic process algebras are high-level formalisms, where systems are represented as collections of interacting components. This compositional approach to modelling allows us to describe complex Markov chains using a compact high-level specification. There is an increasing need to investigate the properties of complex systems, not only in the field of computer science, but also in computational biology.

APA, Harvard, Vancouver, ISO, and other styles

10

Bartels, Björn [Verfasser], Sabine [Akademischer Betreuer] Glesner, Ernst-Rüdiger [Akademischer Betreuer] Olderog, and Stefan [Akademischer Betreuer] Jähnichen. "A mechanized verification environment for real-time process algebras and low-level programming languages / Björn Bartels. Gutachter: Sabine Glesner ; Ernst-Rüdiger Olderog ; Stefan Jähnichen. Betreuer: Sabine Glesner." Berlin : Technische Universität Berlin, 2014. http://d-nb.info/1066163103/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Vekris, Dimitrios. "Vérification de spécifications EB-3 à l'aide de techniques de model-checking." Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST1117/document.

Full text

Abstract:

EB-3 est un langage de spécification développé pour la spécification des systèmes d'information. Le noyau du langage EB-3comprend des spécifications d'algèbre de processus afin de décrire le comportement des entités du système et des fonctions d'attributs qui sont des fonctions récursives dont l'évaluation se fait sur la trace d'exécution du système décrivant les attributs des entités. La vérification de propriétés temporelles en EB-3 est un sujet de grande importance pour des utilisateurs de EB-3. Dans cette thèse, on se focalise sur les propriétés de vivacité concernant des systèmes d'inform

APA, Harvard, Vancouver, ISO, and other styles

12

Prokopová, Dagmar. "Vizualizace výrazů procesní algebry pi-kalkul." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363857.

Full text

Abstract:

This work deals with the problem of visual representation of Pi-calculus expressions. The theoretical part of this paper discusses general principles of process algebras as well as specific properties of individual models, with a focus on Pi-calculus. Also included is the comparison of several text and graphical representations of expressions. The main part of the thesis deals with the design and implementation of an application for converting text representation of expressions into graphical representation. In addition to the text and graphical representation, an internal tree representation

APA, Harvard, Vancouver, ISO, and other styles

13

Briscoe-Smith, C. "Behavioural subtyping in process algebra." Thesis, University of Kent, 2000. https://kar.kent.ac.uk/21936/.

Full text

Abstract:

Subtyping relations embody a notion of substitutability, and are an important tool in formal methods. The downward simulation relation is well-known and widely used as a subtyping and refinement relation for state-based approaches, but there is no single relation which is widely accepted to be the subtyping relation for the behavioural setting; however, there are several candidate relations. Developments such as the multi-viewpoint specification method of RM-ODP encourage the use of several different formal methods in a single project. Thus, it becomes important to obtain implementations of a

APA, Harvard, Vancouver, ISO, and other styles

14

Dihego, da Silva Oliveira Jose. "Algebraic laws for process subtyping." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2660.

Full text

Abstract:

Made available in DSpace on 2014-06-12T16:00:02Z (GMT). No. of bitstreams: 2 arquivo5819_1.pdf: 1022780 bytes, checksum: 817e10825cb544dad97eed36627fdd51 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011<br>Conselho Nacional de Desenvolvimento Científico e Tecnológico<br>Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem empirica e seguir uma abordagem estruturada, formal, passível de repetição e prova face ao adve

APA, Harvard, Vancouver, ISO, and other styles

15

Tschaikowski, Max. "Fluid aggregations for Markovian process algebra." Diss., Ludwig-Maximilians-Universität München, 2014. http://nbn-resolving.de/urn:nbn:de:bvb:19-171109.

Full text

Abstract:

Quantitative analysis by means of discrete-state stochastic processes is hindered by the well-known phenomenon of state-space explosion, whereby the size of the state space may have an exponential growth with the number of objects in the model. When the stochastic process underlies a Markovian process algebra model, this problem may be alleviated by suitable notions of behavioural equivalence that induce lumping at the underlying continuous-time Markov chain, establishing an exact relation between a potentially much smaller aggregated chain and the original one. However, in the modelling of ma

APA, Harvard, Vancouver, ISO, and other styles

16

Compton, Michael James. "Formal verification of process algebra systems." Thesis, University of Cambridge, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Bohnenkamp, Henrik. "Compositional solution of stochastic process algebra models." [S.l.] : [s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=965593193.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Tribastone, Mirco. "Scalable analysis of stochastic process algebra models." Thesis, University of Edinburgh, 2010. http://hdl.handle.net/1842/4629.

Full text

Abstract:

The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic process algebra PEPA are no exception. This thesis presents a deterministic continuous-state semantics of PEPA which employs ordinary differential equations (ODEs) as the underlying mathematics for the p

APA, Harvard, Vancouver, ISO, and other styles

19

Vu, Thuy Duong. "Semantics and applications of process and program algebra." [S.l. : Amsterdam : s.n.] ; Universiteit van Amsterdam [Host], 2007. http://dare.uva.nl/document/44054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Pua, Chai Seng. "Process algebra approach to parallel DBMS performance modelling." Thesis, Heriot-Watt University, 1999. http://hdl.handle.net/10399/1262.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Degasperi, Andrea. "Multi-scale modelling of biological systems in process algebra." Thesis, University of Glasgow, 2011. http://theses.gla.ac.uk/2946/.

Full text

Abstract:

There is a growing interest in combining different levels of detail of biological phenomena into unique multi-scale models that represent both biochemical details and higher order structures such as cells, tissues or organs. The state of the art of multi-scale models presents a variety of approaches often tailored around specific problems and composed of a combination of mathematical techniques. As a result, these models are difficult to build, compose, compare and analyse. In this thesis we identify process algebra as an ideal formalism to multi-scale modelling of biological systems. Building

APA, Harvard, Vancouver, ISO, and other styles

22

Cavallin, Filippo <1988&gt. "Encoding G-Networks into the Stochastic Process Algebra PEPA." Master's Degree Thesis, Università Ca' Foscari Venezia, 2014. http://hdl.handle.net/10579/4328.

Full text

Abstract:

In my thesis I study models of G-Networks, encoding them into the Stochastic Process Algebra PEPA. Up to now there was the general belief that G-Networks could not be caught by a traditional stochastic process algebra and my thesis demonstrates the opposite. G-Networks are a specific case in the queues theory and are used to describe, for example, a computer, a network or communication systems. The encoding I propose allows one to analyze the dynamic behavior and then the performance of those networks using the existing tools for PEPA. These analysis are useful in real-life modern systems, w

APA, Harvard, Vancouver, ISO, and other styles

23

Maffeis, Sergio. "Dynamic Web data : a process algebraic approach." Thesis, Imperial College London, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436321.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Fujinami, Tsutomu. "A process algebraic approach to computational linguistics." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/521.

Full text

Abstract:

The thesis presents a way to apply process algebra to computational linguistics. We are interested in how contexts can affect or contribute to language understanding and model the phenomena as a system of communicating processes to study the interaction between them in detail. For this purpose, we turn to the pie-calculus and investigate how communicating processes may be defined. While investigating the computational grounds of communication and concurrency,we devise a graphical representation for processes to capture the structure of interaction between them. Then, we develop a logic, combin

APA, Harvard, Vancouver, ISO, and other styles

25

Tian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.

Full text

Abstract:

In this thesis, a comprehensive formalization of Milner's Calculus of Communicating Systems (also known as CCS) has been done in HOL theorem prover (HOL4), based on an old work in HOL88. This includes all classical properties of strong/weak bisimulation equivalences and observation congruence, a theory of congruence for CCS, various versions of ``bisimulation up to'' techniques, and several deep theorems, namely the ``coarsest congruence contained in weak equivalence'', and three versions of the ``unique solution of equations'' theorem in Milner's book. This work is further extended to supp

APA, Harvard, Vancouver, ISO, and other styles

26

Almutlaq, Abdulaziz M. "Algebraic approaches to resource conservation via process integration." Texas A&M University, 2005. http://hdl.handle.net/1969.1/2533.

Full text

Abstract:

The primary objective of this dissertation is to introduce several algebraic procedures to the targeting of material recycle networks. The problem involves the allocation of process streams and fresh sources to process units (sinks) with the objective of minimizing fresh purchase and waste discharge. In the case of composition-limited sinks, allocation to process sinks is governed by feasibility constraints on flowrates and compositions. A systematic non-iterative algebraic approach is developed to identify rigorous targets for minimum usage of fresh resources, maximum recycle of process resou

APA, Harvard, Vancouver, ISO, and other styles

27

Kazantzi, Vasiliki. "Novel visualization and algebraic techniques for sustainable development through property integration." Texas A&M University, 2006. http://hdl.handle.net/1969.1/4930.

Full text

Abstract:

The process industries are characterized by the significant consumption of fresh resources. This is a critical issue, which calls for an effective strategy towards more sustainable operations. One approach that favors sustainability and resource conservation is material recycle and/or reuse. In this regard, an integrated framework is an essential element in sustainable development. An effective reuse strategy must consider the process as a whole and develop plant-wide strategies. While the role of mass and energy integration has been acknowledged as a holistic basis for sustainable design, it

APA, Harvard, Vancouver, ISO, and other styles

28

Tschaikowski, Max [Verfasser], and Mirco [Akademischer Betreuer] Tribastone. "Fluid aggregations for Markovian process algebra / Max Tschaikowski. Betreuer: Mirco Tribastone." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2014. http://d-nb.info/1053618638/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Scott, Erin G. "Process algebra with layers : a language for multi-scale integration modelling." Thesis, University of Stirling, 2016. http://hdl.handle.net/1893/23516.

Full text

Abstract:

Multi-scale modelling and analysis is becoming increasingly important and relevant. Analysis of the emergent properties from the interactions between scales of multi-scale systems is important to aid in solutions. There is no universally adopted theoretical/computational framework or language for the construction of multi-scale models. Most modelling approaches are specific to the problem that they are addressing and use a hybrid combination of modelling languages to model specific scales. This thesis addresses if process algebra can offer a unique opportunity in the definition and analysis of

APA, Harvard, Vancouver, ISO, and other styles

30

Cândido, Renato Markele Ferreira 1988. "Filtros de partículas aplicados a sistemas max plus." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259747.

Full text

Abstract:

Orientador: Rafael Santos Mendes<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-24T01:12:10Z (GMT). No. of bitstreams: 1 Candido_RenatoMarkeleFerreira_M.pdf: 1921815 bytes, checksum: a5e82ec1bfadd836b1ba66fda5ce00ec (MD5) Previous issue date: 2013<br>Resumo: A principal contribuição desta dissertação é a proposta de algoritmos de filtragem por partículas em sistemas a eventos discretos nos quais predominam os problemas de sincronização. Esta classe de sistemas pode ser descrita por meio de

APA, Harvard, Vancouver, ISO, and other styles

31

Scott, B. G. O. "A methodology for formal system development using process algebraic techniques." Thesis, University of Oxford, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294356.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Pettersen, Jostein. "Processutveckling i praktiken : införande av processinriktat förbättringsarbete på Siemens GPMT." Thesis, Linköping University, Department of Management and Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-10450.

Full text

Abstract:

<p>I en stor och komplex organisation kan det vara svårt att skapa sig en helhetsbild och se sitt arbete i relation till organisationens övergripande syfte. En sådan helhetsbild kan skapas genom att kartlägga och dokumentera aktivitetsflödet i organisationen. Processutveckling tillhandahåller verktyg för att eliminera dubbelarbete och spill och skapa bättre värde för organisationens kunder. Som resultat av detta förenklas arbetet, kostnader kan lättare reduceras och ledtider kan minskas. Allt detta sammantaget leder till ökad konkurrenskraft.</p><p>Syftet med detta examensarbete är att införa

APA, Harvard, Vancouver, ISO, and other styles

33

McCaig, Chris. "From individuals to populations : changing scale in process algebra models of biological systems." Thesis, University of Stirling, 2007. http://hdl.handle.net/1893/398.

Full text

Abstract:

The problem of changing scale in models of a system is relevant in many different fields. In this thesis we investigate the problem in models of biological systems, particularly infectious disease spread and population dynamics. We investigate this problem using the process algebra \emph{Weighted Synchronous Calculus of Communicating Systems} (WSCCS). In WSCCS we can describe the different types of individual in a population and study the population by placing many of these individuals in parallel. We present an algorithm that allows us to rigorously derive mean field equations (MFE) describin

APA, Harvard, Vancouver, ISO, and other styles

34

Guzmán, Michell. "On the expressiveness of spatial constraint systems." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLX064/document.

Full text

Abstract:

Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupart des gens sont familiarisés avec des systèmes numériques où les utilisateurs peuvent partager ses croyances, opinions et même des mensonges intentionnels (des canulars). Aussi, les modèles de ces systèmes doivent tenir compte des interactions avec d’autres de même que leur nature distribués. Ces comportements spatiaux et mobiles font part d’applications où le

APA, Harvard, Vancouver, ISO, and other styles

35

Oaken, David R. "Optimisation of definition structures & parameter values in process algebra models using evolutionary computation." Thesis, University of Stirling, 2014. http://hdl.handle.net/1893/21206.

Full text

Abstract:

Process Algebras are a Formal Modelling methodology which are an effective tool for defining models of complex systems, particularly those involving multiple interacting processes. However, describing such a model using Process Algebras requires expertise from both the modeller and the domain expert. Finding the correct model to describe a system can be difficult. Further more, even with the correct model, parameter tuning to allow model outputs to match experimental data can also be both difficult and time consuming. Evolutionary Algorithms provide effective methods for finding solutions to o

APA, Harvard, Vancouver, ISO, and other styles

36

Panuška, Martin. "Business Process Modeling: A Logical Perspective." Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-19070.

Full text

Abstract:

In the master's thesis we are concerned with the logical perspective on business process model-ing. The logical perspective on business process modeling has several advantages. First, being a formal logical system, first-order logic let us thoroughly understand the foundations of process modeling. Second, after we understand the logical foundations of business process modeling, we are free to build a BPM language based entirely on logic, or map an existing language onto logic, which may be useful for artificial reasoning. Third, if the business process model is mapped to logic (or another decl

APA, Harvard, Vancouver, ISO, and other styles

37

Vivas, Frontana Jose Luis. "Dynamic Binding of Names in Calculi for Mobile Processes." Doctoral thesis, KTH, Microelectronics and Information Technology, IMIT, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3108.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Hesketh, Martin. "Synthesis and axiomatisation for structural equivalences in the Petri Box Calculus." Thesis, University of Newcastle Upon Tyne, 1998. http://hdl.handle.net/10443/1993.

Full text

Abstract:

The Petri Box Calculus (PBC) consists of an algebra of box expressions, and a corresponding algebra of boxes (a class of labelled Petri nets). A compo- sitional semantics provides a translation from box expressions to boxes. The synthesis problem is to provide an algorithmic translation from boxes to box expressions. The axiomatisation problem is to provide a sound and complete axiomatisation for the fragment of the calculus under consideration, which captures a particular notion of equivalence for boxes. There are several alternative ways of defining an equivalence notion for boxes, the stron

APA, Harvard, Vancouver, ISO, and other styles

39

Bontà, Edoardo <1971&gt. "Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/913/1/Tesi_Bonta_Edoardo.pdf.

Full text

Abstract:

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio pr

APA, Harvard, Vancouver, ISO, and other styles

40

Bontà, Edoardo <1971&gt. "Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/913/.

Full text

Abstract:

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio pr

APA, Harvard, Vancouver, ISO, and other styles

41

Bontà, Edoardo. "Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs." Doctoral thesis, Università di Bologna, 2008. http://hdl.handle.net/11576/2697130.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Siirtola, A. (Antti). "Algorithmic multiparameterised verification of safety properties:process algebraic approach." Doctoral thesis, University of Oulu, 2010. http://urn.fi/urn:isbn:9789514262524.

Full text

Abstract:

Abstract Due to increasing amount of concurrency, systems have become difficult to design and analyse. In this effort, formal verification, which means proving the correctness of a system, has turned out to be useful. Unfortunately, the application domain of the formal verification methods is often indefinite, tools are typically unavailable, and most of the techniques do not suit especially well for the verification of software systems. These are the questions addressed in the thesis. A typical approach to modelling systems and specifications is to consider them parameterised by the restric

APA, Harvard, Vancouver, ISO, and other styles

43

Benkirane, Soufiene. "Process algebra for epidemiology : evaluating and enhancing the ability of PEPA to describe biological systems." Thesis, University of Stirling, 2011. http://hdl.handle.net/1893/3603.

Full text

Abstract:

Modelling is a powerful method for understanding complex systems, which works by simplifying them to their most essential components. The choice of the components is driven by the aspects studied. The tool chosen to perform this task will determine what can be modelled, the maximum number of components which can be represented, as well as the analyses which can be performed on the system. Performance Evaluation Process Algebra (PEPA) was initially developed to tackle computer systems issues. Nevertheless, it possesses some interesting properties which could be exploited for the study of epidem

APA, Harvard, Vancouver, ISO, and other styles

44

Schaeffer, Oksana. "On the use of process algebra techniques in computational modelling of cancer initiation and development." Thesis, University of Birmingham, 2008. http://etheses.bham.ac.uk//id/eprint/217/.

Full text

Abstract:

Cancer research has been revolutionised by recent technological advances that allow scientists to produce extensive collections of experimental data, especially on the molecular and cellular level. Formal modelling is a necessary tool for integrating massive amounts of diverse measurement data into a coherent picture of disease development. Models can be used to test hypotheses about the role of cellular components in system function and in creating disease, and to make predictions which can then be tested experimentally. This thesis evaluates process algebra techniques as description formalis

APA, Harvard, Vancouver, ISO, and other styles

45

Brooke, Phillip James. "A timed semantics for a hierarchical design notation." Thesis, University of York, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298382.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Guedes, Roseliane Forgiarini. "UMA INVESTIGAÇÃO SOBRE A APRENDIZAGEM DE ÁLGEBRA POR MEIO DO USO DE JOGOS, COM ALUNOS DA 6a SÉRIE." Universidade Franciscana, 2012. http://tede.universidadefranciscana.edu.br:8080/handle/UFN-BDTD/136.

Full text

Abstract:

Made available in DSpace on 2018-06-27T19:13:17Z (GMT). No. of bitstreams: 2 Roseliane Forgiarini Guedes.pdf: 2446277 bytes, checksum: f6d707c3fe9acdb28cacaf6bf83e1e1d (MD5) Roseliane Forgiarini Guedes.pdf.jpg: 3566 bytes, checksum: c41e98470b2e7460c028f29d1d306cdf (MD5) Previous issue date: 2012-10-19<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This research aims to investigate, through the use of educational games, the algebra learning process by students of 6th grade of elementary school. The work was applied in a private school in Santa Maria, RS. The participa

APA, Harvard, Vancouver, ISO, and other styles

47

Simminger, Jerome C. "A constrained multivariable nonlinear predictive controller." Thesis, Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/10152.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Vargas, Aparicio Algebra Veronica [Verfasser]. "Design of an Integrated Process Chain to Support the Manufacturing of Ti6Al4V Components / Algebra Veronica Vargas Aparicio." Aachen : Shaker, 2010. http://d-nb.info/1098041097/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Ye, Kangfeng. "Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/15526/.

Full text

Abstract:

Computer-based systems are becoming more and more complex. It is really a grand challenge to assure the dependability of these systems with the growing complexity, especially for high integrity and safety critical systems that require extremely high dependability. Circus, as a formal language, is designed to tackle this problem by providing precision preservation and correctness assurance. It is a combination of Z, CSP, refinement calculus and Dijkstra's guarded commands. A main objective of Circus is to provide calculational style refinement that differentiates itself from other integrated fo

APA, Harvard, Vancouver, ISO, and other styles

50

Feng, Cheng. "Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/22070.

Full text

Abstract:

Recent advances in information and communications technology have led to a surge in the popularity of artificial Collective Adaptive Systems (CAS). Such systems, comprised by many spatially distributed autonomous entities with decentralised control, can often achieve discernible characteristics at the global level; a phenomenon sometimes termed emergence. Examples include smart transport systems, smart electricity power grids, robot swarms, etc. The design and operational management of CAS are of vital importance because different configurations of CAS may exhibit very large variability in the

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!