Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Communicating sequential processes). Showing records 1 – 10 of 10 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Oxford

1. Lowe, Gavin. Probabilities and priorities in timed CSP.

Degree: PhD, 1993, University of Oxford

Subjects/Keywords: 005; Communicating sequential processes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lowe, G. (1993). Probabilities and priorities in timed CSP. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334964

Chicago Manual of Style (16th Edition):

Lowe, Gavin. “Probabilities and priorities in timed CSP.” 1993. Doctoral Dissertation, University of Oxford. Accessed August 05, 2020. http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334964.

MLA Handbook (7th Edition):

Lowe, Gavin. “Probabilities and priorities in timed CSP.” 1993. Web. 05 Aug 2020.

Vancouver:

Lowe G. Probabilities and priorities in timed CSP. [Internet] [Doctoral dissertation]. University of Oxford; 1993. [cited 2020 Aug 05]. Available from: http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334964.

Council of Science Editors:

Lowe G. Probabilities and priorities in timed CSP. [Doctoral Dissertation]. University of Oxford; 1993. Available from: http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334964


Virginia Tech

2. Asthana, Rohit Mohan. High-Level CSP Model Compiler for FPGAs.

Degree: MS, Electrical and Computer Engineering, 2010, Virginia Tech

 The ever-growing competition in current electronics industry has resulted in stringent time-to-market goals and reduced design time available to engineers. Lesser design time has subsequently… (more)

Subjects/Keywords: High-Level Synthesis; FPGAs; Models of Computation (MoC); Communicating Sequential Processes (CSP); Autocode Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Asthana, R. M. (2010). High-Level CSP Model Compiler for FPGAs. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/36428

Chicago Manual of Style (16th Edition):

Asthana, Rohit Mohan. “High-Level CSP Model Compiler for FPGAs.” 2010. Masters Thesis, Virginia Tech. Accessed August 05, 2020. http://hdl.handle.net/10919/36428.

MLA Handbook (7th Edition):

Asthana, Rohit Mohan. “High-Level CSP Model Compiler for FPGAs.” 2010. Web. 05 Aug 2020.

Vancouver:

Asthana RM. High-Level CSP Model Compiler for FPGAs. [Internet] [Masters thesis]. Virginia Tech; 2010. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/10919/36428.

Council of Science Editors:

Asthana RM. High-Level CSP Model Compiler for FPGAs. [Masters Thesis]. Virginia Tech; 2010. Available from: http://hdl.handle.net/10919/36428

3. GOMES, ARTUR OLIVEIRA. Model-checking circus with FDR using circus2csp.

Degree: School of Computer Science & Statistics. Discipline of Computer Science, 2019, Trinity College Dublin

 The current lack of tool support for model-checking Circus, a formalism which combines Z, CSP, refinement calculus and Dijkstra's guarded commands, is one of the… (more)

Subjects/Keywords: Formal Methods; Model-Checking; Refinement; Circus; Safety Critical Systems; Communicating Sequential Processes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

GOMES, A. O. (2019). Model-checking circus with FDR using circus2csp. (Thesis). Trinity College Dublin. Retrieved from http://hdl.handle.net/2262/86009

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

GOMES, ARTUR OLIVEIRA. “Model-checking circus with FDR using circus2csp.” 2019. Thesis, Trinity College Dublin. Accessed August 05, 2020. http://hdl.handle.net/2262/86009.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

GOMES, ARTUR OLIVEIRA. “Model-checking circus with FDR using circus2csp.” 2019. Web. 05 Aug 2020.

Vancouver:

GOMES AO. Model-checking circus with FDR using circus2csp. [Internet] [Thesis]. Trinity College Dublin; 2019. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2262/86009.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

GOMES AO. Model-checking circus with FDR using circus2csp. [Thesis]. Trinity College Dublin; 2019. Available from: http://hdl.handle.net/2262/86009

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Al Rammahi, Raheem T. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.

Degree: MS, Computer Science, 2016, U of Denver

  Most of the companies in Iraq spend significant amounts of time and money when transferring employees between home and work. In this thesis, we… (more)

Subjects/Keywords: CSP; Communicating sequential processes; MAX-SAT; Maximum satisfiability; Optimization; SAT; Boolean satisfiability; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Al Rammahi, R. T. (2016). Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. (Thesis). U of Denver. Retrieved from https://digitalcommons.du.edu/etd/1110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Al Rammahi, Raheem T. “Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.” 2016. Thesis, U of Denver. Accessed August 05, 2020. https://digitalcommons.du.edu/etd/1110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Al Rammahi, Raheem T. “Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT.” 2016. Web. 05 Aug 2020.

Vancouver:

Al Rammahi RT. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. [Internet] [Thesis]. U of Denver; 2016. [cited 2020 Aug 05]. Available from: https://digitalcommons.du.edu/etd/1110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Al Rammahi RT. Optimizing Vehicle Usage Using CSP, SAT and MAX-SAT. [Thesis]. U of Denver; 2016. Available from: https://digitalcommons.du.edu/etd/1110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

5. Mérylyn Carneiro Falcão, Flávia. Multi-Sincronização em menssage sequence charts .

Degree: 2008, Universidade Federal de Pernambuco

 Message Sequence Charts (MSC) é uma linguagem gráfica, usada na academia e na indústria, cujo objetivo é descrever o comportamento de componentes de sistemas e… (more)

Subjects/Keywords: Message Sequence Charts (MSC); comunicação síncrona; Communicating Sequential Processes (CSP); Power Tool Kit (PTK); geração de testes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mérylyn Carneiro Falcão, F. (2008). Multi-Sincronização em menssage sequence charts . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1591

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mérylyn Carneiro Falcão, Flávia. “Multi-Sincronização em menssage sequence charts .” 2008. Thesis, Universidade Federal de Pernambuco. Accessed August 05, 2020. http://repositorio.ufpe.br/handle/123456789/1591.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mérylyn Carneiro Falcão, Flávia. “Multi-Sincronização em menssage sequence charts .” 2008. Web. 05 Aug 2020.

Vancouver:

Mérylyn Carneiro Falcão F. Multi-Sincronização em menssage sequence charts . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2008. [cited 2020 Aug 05]. Available from: http://repositorio.ufpe.br/handle/123456789/1591.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mérylyn Carneiro Falcão F. Multi-Sincronização em menssage sequence charts . [Thesis]. Universidade Federal de Pernambuco; 2008. Available from: http://repositorio.ufpe.br/handle/123456789/1591

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oxford

6. Mazur, Tomasz Krzysztof. Model Checking Systems with Replicated Components using CSP.

Degree: PhD, 2011, University of Oxford

 The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine… (more)

Subjects/Keywords: 005.3; Computer science (mathematics); Communication Sequential Processing (CSP); Computing; Theory and automated verification; Communicating Sequential Processes (CSP); Model Checking; model checking; formal verification; formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mazur, T. K. (2011). Model Checking Systems with Replicated Components using CSP. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835

Chicago Manual of Style (16th Edition):

Mazur, Tomasz Krzysztof. “Model Checking Systems with Replicated Components using CSP.” 2011. Doctoral Dissertation, University of Oxford. Accessed August 05, 2020. http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835.

MLA Handbook (7th Edition):

Mazur, Tomasz Krzysztof. “Model Checking Systems with Replicated Components using CSP.” 2011. Web. 05 Aug 2020.

Vancouver:

Mazur TK. Model Checking Systems with Replicated Components using CSP. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2020 Aug 05]. Available from: http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835.

Council of Science Editors:

Mazur TK. Model Checking Systems with Replicated Components using CSP. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533835

7. Travieso, Gonzalo. Estudo de processamento paralelo para dinâmica molecular.

Degree: Mestrado, Física Aplicada, 1989, University of São Paulo

Apresentamos um problema de dinâmica molecular e quatro algoritmos seqüenciais para a implementação do mesmo. Em seguida esses algoritmos são estudados quanto ao tempo de… (more)

Subjects/Keywords: Communicating sequential processes; Dinâmica molecular; Molecular dynamics; Parallel processing; Processamento paralelo; Processos seqüenciais comunicantes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Travieso, G. (1989). Estudo de processamento paralelo para dinâmica molecular. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/54/54132/tde-09042007-155815/ ;

Chicago Manual of Style (16th Edition):

Travieso, Gonzalo. “Estudo de processamento paralelo para dinâmica molecular.” 1989. Masters Thesis, University of São Paulo. Accessed August 05, 2020. http://www.teses.usp.br/teses/disponiveis/54/54132/tde-09042007-155815/ ;.

MLA Handbook (7th Edition):

Travieso, Gonzalo. “Estudo de processamento paralelo para dinâmica molecular.” 1989. Web. 05 Aug 2020.

Vancouver:

Travieso G. Estudo de processamento paralelo para dinâmica molecular. [Internet] [Masters thesis]. University of São Paulo; 1989. [cited 2020 Aug 05]. Available from: http://www.teses.usp.br/teses/disponiveis/54/54132/tde-09042007-155815/ ;.

Council of Science Editors:

Travieso G. Estudo de processamento paralelo para dinâmica molecular. [Masters Thesis]. University of São Paulo; 1989. Available from: http://www.teses.usp.br/teses/disponiveis/54/54132/tde-09042007-155815/ ;

8. Travieso, Gonzalo. Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular.

Degree: PhD, Física Aplicada, 1993, University of São Paulo

Neste trabalho, propomos um método de paralelização de simulações de dinâmica molecular para execução em máquinas de memória distribuída, trabalhando sob passagem de mensagens. Nos… (more)

Subjects/Keywords: Communicating sequential processes; Dinâmica molecular; Molecular dynamics; Parallel processing; Processamento paralelo; Processos seqüênciais comunicantes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Travieso, G. (1993). Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/54/54132/tde-18042007-143803/ ;

Chicago Manual of Style (16th Edition):

Travieso, Gonzalo. “Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular.” 1993. Doctoral Dissertation, University of São Paulo. Accessed August 05, 2020. http://www.teses.usp.br/teses/disponiveis/54/54132/tde-18042007-143803/ ;.

MLA Handbook (7th Edition):

Travieso, Gonzalo. “Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular.” 1993. Web. 05 Aug 2020.

Vancouver:

Travieso G. Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular. [Internet] [Doctoral dissertation]. University of São Paulo; 1993. [cited 2020 Aug 05]. Available from: http://www.teses.usp.br/teses/disponiveis/54/54132/tde-18042007-143803/ ;.

Council of Science Editors:

Travieso G. Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular. [Doctoral Dissertation]. University of São Paulo; 1993. Available from: http://www.teses.usp.br/teses/disponiveis/54/54132/tde-18042007-143803/ ;

9. Li, Liyi. Symbolic semantics for CSP.

Degree: MS, 0112, 2014, University of Illinois – Urbana-Champaign

Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, for which a transition semantics has been given by Brookes, Hoare and… (more)

Subjects/Keywords: Communicating Sequential Processes (CSP); Process Algebra; Symbolic Semantics; Theorem Proving; Simulator

…us to analyze some processes similar to process C in Figure 1.1. The HSim is able to decide… …name conventions will be used. We will use P and Q for processes. Lower case p refers to an… …as follows: variables may occur free or bound in HCSP processes and may be replaced by… …processes c?x : B → P , P and P , the scope of variable x is both the x:B x:B proposition B and… …processes P |[{k.x|B}]|Q and P \ {k.x|B}. To facilitate the… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, L. (2014). Symbolic semantics for CSP. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50630

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Li, Liyi. “Symbolic semantics for CSP.” 2014. Thesis, University of Illinois – Urbana-Champaign. Accessed August 05, 2020. http://hdl.handle.net/2142/50630.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Li, Liyi. “Symbolic semantics for CSP.” 2014. Web. 05 Aug 2020.

Vancouver:

Li L. Symbolic semantics for CSP. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Aug 05]. Available from: http://hdl.handle.net/2142/50630.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Li L. Symbolic semantics for CSP. [Thesis]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50630

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. CARVALHO, Gustavo Henrique Porto de. NAT2TEST: generating test cases from natural language requirements based on CSP .

Degree: 2016, Universidade Federal de Pernambuco

 High trustworthiness levels are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification… (more)

Subjects/Keywords: Testes baseados em modelos; Linguagem natural controlada; Gramática de casos; Sistemas reativos baseados em fluxos de dados; Processos sequenciais comunicantes; Relação de conformidade temporal baseada em entradas e saídas; Model-based testing; Controlled natural language; Case grammar; Data-flow reactive system; Communicating sequential processes; Timed input-output conformance relation; Engenharia de software; Métodos formais; Verificação de sistemas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

CARVALHO, G. H. P. d. (2016). NAT2TEST: generating test cases from natural language requirements based on CSP . (Doctoral Dissertation). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/17929

Chicago Manual of Style (16th Edition):

CARVALHO, Gustavo Henrique Porto de. “NAT2TEST: generating test cases from natural language requirements based on CSP .” 2016. Doctoral Dissertation, Universidade Federal de Pernambuco. Accessed August 05, 2020. https://repositorio.ufpe.br/handle/123456789/17929.

MLA Handbook (7th Edition):

CARVALHO, Gustavo Henrique Porto de. “NAT2TEST: generating test cases from natural language requirements based on CSP .” 2016. Web. 05 Aug 2020.

Vancouver:

CARVALHO GHPd. NAT2TEST: generating test cases from natural language requirements based on CSP . [Internet] [Doctoral dissertation]. Universidade Federal de Pernambuco; 2016. [cited 2020 Aug 05]. Available from: https://repositorio.ufpe.br/handle/123456789/17929.

Council of Science Editors:

CARVALHO GHPd. NAT2TEST: generating test cases from natural language requirements based on CSP . [Doctoral Dissertation]. Universidade Federal de Pernambuco; 2016. Available from: https://repositorio.ufpe.br/handle/123456789/17929

.