Relevant bibliographies by topics / Calculus of Communicating Systems (CCS)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Calculus of Communicating Systems (CCS)'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Calculus of Communicating Systems (CCS).'

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.

Journal articles on the topic "Calculus of Communicating Systems (CCS)"

1

KRISHNAN, PADMANABHAN. "A CALCULUS OF TIMED COMMUNICATING SYSTEMS." International Journal of Foundations of Computer Science 03, no. 03 (1992): 303–22. http://dx.doi.org/10.1142/s0129054192000176.

Full text
Abstract:
In this paper we define an operational semantics for a timed version of a Calculus of Communicating Systems (CCS) [1], We also consider timing constraints that a process needs to satisfy and develop preorder relations induced by the temporal constraints.
APA, Harvard, Vancouver, ISO, and other styles
2

Winkowski, Józef. "An Equivalence of Communicating Processes in Distributed Environments." Fundamenta Informaticae 12, no. 1 (1989): 97–128. http://dx.doi.org/10.3233/fi-1989-12107.

Full text
Abstract:
The equivalence of communicating processes with respect to their external behaviour is formalized and studied. The processes are represented by mathematical systems related to labelled event structures. The equivalence is similar to the known observational equivalence but it is defined in a manner which reflects how processes behave in distributed environments. It is shown that the introduced equivalence is a congruence with respect to operations as in CCS (Milner’s Calculus of Communicating Systems).
APA, Harvard, Vancouver, ISO, and other styles
3

Sangiorgi, Davide. "Communicating and Mobile Systems: the π-calculus",. Science of Computer Programming 38, № 1-3 (2000): 151–53. http://dx.doi.org/10.1016/s0167-6423(00)00008-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Xu, Xian. "Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems". Journal of Computer Science and Technology 24, № 1 (2009): 122–37. http://dx.doi.org/10.1007/s11390-009-9210-y.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

EBERBACH, EUGENIUSZ. "SEMAL: A COST LANGUAGE BASED ON THE CALCULUS OF SELF-MODIFIABLE ALGORITHMS." International Journal of Software Engineering and Knowledge Engineering 04, no. 03 (1994): 391–408. http://dx.doi.org/10.1142/s0218194094000192.

Full text
Abstract:
The design, specification, and preliminary implementation of the SEMAL language, based upon the Calculus of Self-modifiable Algorithms model of computation is presented. A Calculus of Self-modifiable Algorithms is a universal theory for parallel and intelligent systems, integrating different styles of programming, and applied to a wealth of domains of future generation computers. It has some features from logic, rule-based, procedural, functional, and object-oriented programming. It has been designed to be a relatively universal tool for AI similar to the way Hoare’s Communicating Sequential P
APA, Harvard, Vancouver, ISO, and other styles
6

Thomsen, B., and S. Abramsky. "A fully abstract denotational semantics for the calculus of higher-order communicating systems." Theoretical Computer Science 254, no. 1-2 (2001): 557–89. http://dx.doi.org/10.1016/s0304-3975(00)00281-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Heath, DJ. "An application of the calculus of communicating systems to the prime factorization problem." Information and Software Technology 35, no. 8 (1993): 474–78. http://dx.doi.org/10.1016/0950-5849(93)90045-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

VERSARI, CRISTIAN, NADIA BUSI, and ROBERTO GORRIERI. "An expressiveness study of priority in process calculi." Mathematical Structures in Computer Science 19, no. 6 (2009): 1161–89. http://dx.doi.org/10.1017/s0960129509990168.

Full text
Abstract:
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms. In particular, we consider a finite (that is, recursion-free) fragment of asynchronous CCS with global priority (FAP, for short) and Phillips' CPG (CCS with local priority), and contrast their expressive power with that of two non-prioritised calculi, namely the π-calculus and its broadcast-based version, called bπ. We prove, by means of leader-election-based separation results, that, under certain conditions, there
APA, Harvard, Vancouver, ISO, and other styles
9

GAY, SIMON J., and RAJAGOPAL NAGARAJAN. "Types and typechecking for Communicating Quantum Processes." Mathematical Structures in Computer Science 16, no. 3 (2006): 375–406. http://dx.doi.org/10.1017/s0960129506005263.

Full text
Abstract:
We define a language CQP (Communicating Quantum Processes) for modelling systems that combine quantum and classical communication and computation. CQP combines the communication primitives of the pi-calculus with primitives for measurement and transformation of the quantum state; in particular, quantum bits (qubits) can be transmitted from process to process along communication channels. CQP has a static type system, which classifies channels, distinguishes between quantum and classical data, and controls the use of quantum states. We formally define the syntax, operational semantics and type
APA, Harvard, Vancouver, ISO, and other styles
10

Jeffrey, Alan. "Communicating and Mobile Systems: the π-calculus by Robin Milner, Cambridge University Press, 1999". Journal of Functional Programming 11, № 4 (2001): 433–36. http://dx.doi.org/10.1017/s0956796801224113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Calculus of Communicating Systems (CCS)"

1

Monroy-Borja, Raul. "Planning proofs of correctness of CCS systems." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/584.

Full text
Abstract:
The specification and verification of communicating systems has captured increasing interest in the last decades. CCS, a Calculus of Communicating Systems [Milner 89a], was especially designed to help this enterprise; it is widely used in both industry and academia. Most efforts to automate the use of CCS for verification have centered around the explicit construction of a bisimulation [Park 81]. This approach, however, presents severe limitations to deal with systems that contain infinite states (e.g. systems with evolving structure [Milner 89a] or that comprise a finite but arbitrary number
APA, Harvard, Vancouver, ISO, and other styles
2

Del, vecchio Stefano. "Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCD075.

Full text
Abstract:
À partir des travaux dont l'objectif est d'étendre la correspondance de Curry-Howard au-delà du monde fonctionnel, et notamment aux algèbres de processus par exemple à travers la logique linéaire, on donne une contrepartie à la Curry-Howard pour le Calcul des Systèmes Communicants (CCS) de Milner, avec la ludique de Girard comme système cible<br>Starting from works aimed at extending the Curry-Howard correspondence beyond the functional world, in particular to process calculi, thorugh linear logic, we give another Curry-Howard counterpart for Milner's Calculus of Communicating Systems (CCS), b
APA, Harvard, Vancouver, ISO, and other styles
3

Krivine, Jean. "Algèbres de Processus Réversibles." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2006. http://tel.archives-ouvertes.fr/tel-00519528.

Full text
Abstract:
Nous présentons un système de retour arrière distribué basé sur le Calcul des Systèmes Communicants de Robin Milner. L'algèbre de pro- cessus réversible ainsi définie (RCCS) nous permet de poser les fondements théoriques du retour arrière dans un calcul concurrent. En particulier, étant donné un processus et un passé, nous montrons que RCCS permet de re- venir en arrière dans tout passé causalement équivalent. Nous exprimons aussi l'équivalence comportementale associée aux processus réversibles en utilisant une notion de bisimulation mettant en relation les traces causales
APA, Harvard, Vancouver, ISO, and other styles
4

Rezaei, Siamak. "Linguistic and computational analysis of word order and scrambling in Persian." Thesis, University of Edinburgh, 2000. http://hdl.handle.net/1842/1093.

Full text
Abstract:
This thesis discusses linguistic constraints on scrambling and flexibility in word order in spoken Persian (Farsi) and presents a computational model for efficient implementation of these constraints for a subset of Persian. Linguistic phenomena which we have studies include local scrambling, long distance scrambling, extrapolation of clauses, topicalisation, case tendancy and the discourse marker ra. The work extends previous work on Persian based on Government and Binding (GB) theory by considering the pragmatic aspects of Persian Grammar and long distance scrambling.
APA, Harvard, Vancouver, ISO, and other styles
5

Chan, Patrick HonChun. "Modeling distributed asynchronous processes using events and calculus of communicating systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0022/MQ62197.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Obaid, Abdellatif. "A calculus of communicating systems with atomicity and recovery, for protocol specification and design." Thesis, University of Ottawa (Canada), 1991. http://hdl.handle.net/10393/7774.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hong, Sun Yey, and 洪上智. "Design and Implementation of a Robotic Manufacturing Cell''s Supervisor Using Calculus of Communicating Systems." Thesis, 1997. http://ndltd.ncl.edu.tw/handle/23063742317433880399.

Full text
Abstract:
碩士<br>國立交通大學<br>控制工程系<br>85<br>Calculus of communicating systems (CCS) is proposed as a mathematicaltool to specify the manufacturing protocol of a robotic manufacturingcell at Production System Automated Research Center in NCTU. Basically communication protocols have been developed for coordinating electronic signals of network-integrated communicatingdevices. If the WIPs, transportation system, manufacturing devices inautomated manufacturing system are treated as th
APA, Harvard, Vancouver, ISO, and other styles
8

Lee, Cherng-Shiun, and 李承勳. "Design and Implementation of Monitors and Troubleshooters: Petri Net and Calculus of Communicating Systems Approaches." Thesis, 1998. http://ndltd.ncl.edu.tw/handle/62704355927836053903.

Full text
Abstract:
碩士<br>國立交通大學<br>工業工程與管理研究所<br>86<br>Petri net and calculus of communicating systems (CCS) are proposed as mathematical tools for designing monitors and troubleshooters on shop floor. For the Petri net aproach, its rule matrix is transformed into a standard representative matrix in matroid theory. Then proper place invariants are generated as rules for designing monitors. Similarly the concept of place invariants is applied for designing troubleshooters. For the CCS approach, the design process is achieved through two software modules in Lite: LOTOS and SMILE. Both approaches have been applied
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Calculus of Communicating Systems (CCS)"

1

Milner, Robin. A calculus of communicating systems. University of Edinburgh, Laboratory for Foundations of Computer Science, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Walker, David Harry. Introduction to a calculus of communicating systems. 2nd ed. University of Edinburgh, Laboratory for Foundations of Computer Science, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Walker, David Harry. Introduction to a calculus of communicating systems: Expository report. University of Edinburgh, Laboratory for Foundations of Computer Science, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Milner, R. Communicating and mobile systems: The [symbol for pi]-calculus. Cambridge University Press, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Milner, Robin. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Milner, Robin. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Calculus of Communicating Systems (CCS)"

1

Gorrieri, Roberto, and Cristian Versari. "CCS: A Calculus of Communicating Systems." In Introduction to Concurrency Theory. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21491-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bruni, Roberto, and Ugo Montanari. "CCS, the Calculus of Communicating Systems." In Texts in Theoretical Computer Science. An EATCS Series. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-42900-7_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Koomen, C. J. "CCS and SDL." In The Design of Communicating Systems. Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4020-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Koomen, C. J. "CCS and Petri Nets." In The Design of Communicating Systems. Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4020-5_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Koomen, C. J. "Calculus of Communicating Systems." In The Design of Communicating Systems. Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4020-5_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Alagar, V. S., and K. Periyasamy. "Calculus of Communicating Systems." In Texts in Computer Science. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-277-3_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gray, David. "Synchronous Calculus of Communicating Systems." In Introduction to the Formal Design of Real-Time Systems. Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-0889-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Milner, Robin. "Lectures on a calculus for communicating systems." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15670-4_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Milner, Robin. "Lectures on a Calculus for Communicating Systems." In Control Flow and Data Flow: Concepts of Distributed Programming. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-82921-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Boudol, Gérard. "Towards a lambda-calculus for concurrent and communicating systems." In TAPSOFT '89. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-50939-9_130.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Calculus of Communicating Systems (CCS)"

1

Luming Fang and Hangjun Wang. "A Calculus for Cryptographic Communication Protocols-The CCP Calculus." In 2006 International Conference on Communications, Circuits and Systems. IEEE, 2006. http://dx.doi.org/10.1109/icccas.2006.284990.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Thomsen, B. "A calculus of higher order communicating systems." In the 16th ACM SIGPLAN-SIGACT symposium. ACM Press, 1989. http://dx.doi.org/10.1145/75277.75290.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hansson, H., and B. Jonsson. "A calculus for communicating systems with time and probabilities." In [1990] Proceedings 11th Real-Time Systems Symposium. IEEE, 1990. http://dx.doi.org/10.1109/real.1990.128759.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dwornikowski, Dariusz, Andrzej Stroinski, and Jerzy Brzezinski. "Conformance Checking of Communicating Resource Systems with RAs Calculus." In 2015 IEEE International Conference on Services Computing (SCC). IEEE, 2015. http://dx.doi.org/10.1109/scc.2015.109.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Calculus of Communicating Systems (CCS)' for particular source types:
Journal articles
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!

To the bibliography