Relevant bibliographies by topics / Process algebras

Contents

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

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Process algebras"

1

Cleaveland, Rance, and Matthew Hennessy. "Priorities in process algebras." Information and Computation 87, no. 1-2 (1990): 58–77. http://dx.doi.org/10.1016/0890-5401(90)90059-q.

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

Parrow, Joachim. "Expressiveness of Process Algebras." Electronic Notes in Theoretical Computer Science 209 (April 2008): 173–86. http://dx.doi.org/10.1016/j.entcs.2008.04.011.

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

Kassem, M. S., and K. Rowlands. "Double multipliers andA*-algebras of the first kind." Mathematical Proceedings of the Cambridge Philosophical Society 102, no. 3 (1987): 507–16. http://dx.doi.org/10.1017/s0305004100067554.

Full text
Abstract:
LetAbe anA*-algebra and letdenote its auxiliary norm closure. The multiplier algebras of dualA*-algebras of the first kind have been studed by Tomiuk [12], [13] and Wong[15]. In this paper we study the double multiplier algebra ofA*-algebras of the first kind. In particular, we prove that, ifAis anA*-algebra of the first kind, then the double multiplier algebraM(A) ofAis *-isomorphic and (auxiliary norm) isometric to a subalgebra ofM(), extending in the process some results established by Tomiuk[12]. We also consider the embedding of the double multiplier algebra ofAin**, when the latter is re
APA, Harvard, Vancouver, ISO, and other styles
4

Middelburg, Kees A. "Process Algebra with Nonstandard Timing." Fundamenta Informaticae 53, no. 1 (2002): 55–77. https://doi.org/10.3233/fun-2002-53103.

Full text
Abstract:
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001, Chapter 10]. This possibility is useful in practice when describing and analyzing systems in which actions occur that are entirely independent. However, it is an abstraction of reality to assume that actions can be performed consecutively at the same point in time. In this paper, we propose a process algebra with timing in which th
APA, Harvard, Vancouver, ISO, and other styles
5

Gruska, Damas P., and Andrea Maggiolo-Schettini. "Process Algebras for Network Communication." Fundamenta Informaticae 45, no. 4 (2001): 359–78. https://doi.org/10.3233/fun-2001-45404.

Full text
Abstract:
Critical issues that arise when process algebras are used for protocol specifications are discussed. To overcome some of these problems, a process algebra for protocol specifications is presented. It is based on Milner's Calculus of Communicating Systems, which is enriched by time and network reasoning. Several bisimulation based semantics for the calculus are defined and their properties are discussed.
APA, Harvard, Vancouver, ISO, and other styles
6

Müffke, Friedger. "Process Algebras as Specification Language." Electronic Notes in Theoretical Computer Science 68, no. 5 (2003): 101–15. http://dx.doi.org/10.1016/s1571-0661(04)80522-x.

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

Console, Luca, Claudia Picardi, and Marina Ribaudo. "Process algebras for systems diagnosis." Artificial Intelligence 142, no. 1 (2002): 19–51. http://dx.doi.org/10.1016/s0004-3702(02)00292-8.

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

van Glabbeek, Rob, and Frits Vaandrager. "Modular specification of process algebras." Theoretical Computer Science 113, no. 2 (1993): 293–348. http://dx.doi.org/10.1016/0304-3975(93)90006-f.

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

Flaut, Cristina, and Geanina Zaharia. "Remarks Regarding Computational Aspects in Algebras Obtained by Cayley–Dickson Process and Some of Their Applications." Mathematics 10, no. 7 (2022): 1141. http://dx.doi.org/10.3390/math10071141.

Full text
Abstract:
Due to the computational aspects which appear in the study of algebras obtained by the Cayley–Dickson process, it is difficult to obtain nice properties for these algebras. For this reason, finding some identities in such algebras plays an important role in obtaining new properties of these algebras and facilitates computations. In this regard, in the first part of this paper, we present some new identities and properties in algebras obtained by the Cayley–Dickson process. As another remark regarding the computational aspects in these algebras, in the last part of this paper, we solve some qua
APA, Harvard, Vancouver, ISO, and other styles
10

Remm, Elisabeth. "Deformation Quantization of Nonassociative Algebras." Mathematics 13, no. 1 (2024): 58. https://doi.org/10.3390/math13010058.

Full text
Abstract:
We investigate formal deformations of certain classes of nonassociative algebras including classes of K[Σ3]-associative algebras, Lie-admissible algebras and anti-associative algebras. In a process which is similar to Poisson algebra for the associative case, we identify for each type of algebras (A,μ) a type of algebras (A,μ,ψ) such that formal deformations of (A,μ) appear as quantizations of (A,μ,ψ). The process of polarization/depolarization associates to each nonassociative algebra a couple of algebras which products are respectively commutative and skew-symmetric and it is linked with the
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Process algebras"

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

Stríbrná, 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
More sources

Books on the topic "Process algebras"

1

Ponse, A. Process algebras with data. Centrum voor Wiskunde en Informatica, 1992.

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

Gerald, Lüttgen, Natarajan V, and Langley Research Center, eds. Priority in process algebras. National Aeronautics and Space Administration, Langley Research Center, 1999.

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

Gerald, Lüttgen, Naṭarājan̲ V, and Langley Research Center, eds. Priority in process algebras. National Aeronautics and Space Administration, Langley Research Center, 1999.

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

Gorrieri, Roberto. Process Algebras for Petri Nets. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-55559-1.

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

Aceto, Luca. Action refinement in process algebras. Cambridge University Press, 1992.

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

El-Rayes, Amani Helmi. Analysing performance of open queueing systems with stochastic process algebras. University of Birmingham, 2000.

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

Baeten, J. C. M. Process algebra. Cambridge University Press, 1990.

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

Munerman, Viktor, Vadim Borisov, and Aleksandra Kononova. Mass data processing. Algebraic models and methods. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1906037.

Full text
Abstract:
The monograph is devoted to mathematical and algorithmic support of mass data processing based on algebraic models. One of the most common classes of mass processing is considered - processing of highly active structured data. The construction of algebraic models of data and calculations and methods of proving their correspondence are analyzed. Three algebraic systems are studied, which can be used both as data models and as models of calculations. The algebraic and axiomatic methods of proving the correspondence of these models are investigated. A proof of their correspondence is given: homom
APA, Harvard, Vancouver, ISO, and other styles
9

Fokkink, Wan. Introduction to Process Algebra. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-04293-9.

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

Baeten, J. C. M., and C. A. Middelburg. Process Algebra with Timing. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-662-04995-2.

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

Book chapters on the topic "Process algebras"

1

Leasure, Bruce, David J. Kuck, Sergei Gorlatch, et al. "Process Algebras." In Encyclopedia of Parallel Computing. Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_450.

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

Götz, N., H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. "Stochastic Process Algebras." In Quantitative Methods in Parallel Systems. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-79917-4_1.

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

Veglioni, Simone, and Rocco De Nicola. "Possible worlds process algebras." In CONCUR'98 Concurrency Theory. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055623.

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

Hillston, Jane. "Process Algebras for Collective Dynamics." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13321-3_3.

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

Vaandrager, Frits W. "Expressiveness results for process algebras." In Semantics: Foundations and Applications. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56596-5_49.

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

Nielson, Flemming, and Hanne Riis Nielson. "From CML to process algebras." In CONCUR'93. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57208-2_34.

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

Best, Eike, Raymond Devillers, and Maciej Koutny. "PBC and Other Process Algebras." In Petri Net Algebra. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04457-5_8.

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

Cherkasova, Ludmila A., and Vadim E. Kotov. "Descriptive and analytical process algebras." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52494-0_26.

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

Michel, FranÇois, Pierre Azéma, and FranÇois Vernadat. "Permutable agents in process algebras." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61042-1_45.

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

Hennessy, Matthew. "Timed Process Algebras: A Tutorial." In Program Design Calculi. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02880-3_11.

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

Conference papers on the topic "Process algebras"

1

Freitas, Leonardo, Augusto Sampaio, and Ana Cavalcanti. "JACK: A Framework for Process Algebra Implementation in Java." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2002. http://dx.doi.org/10.5753/sbes.2002.23941.

Full text
Abstract:
The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it difficult to repeat test scenarios. Process algebras have been used to design and reason about these programs. This paper presents an approach to developing concurrent programs using a set of process algebra constructs implemented as an object-oriented framework in Java, called JACK. The main objective of the framework is the design and implementation of process algebra constructs that provides as naturally as possible, the algebraic idiom as an extension
APA, Harvard, Vancouver, ISO, and other styles
2

Hassan, Nabil. "Process Algebras, Reasoning, And Validation." In 2014 24th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2014. http://dx.doi.org/10.1109/iccta35431.2014.9521621.

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

Jie, Yang, Peng Zhen, Li Guo-dong, and Qi De-yu. "Modeling Trusted Software with Process Algebras." In 2009 International Conference on New Trends in Information and Service Science (NISS). IEEE, 2009. http://dx.doi.org/10.1109/niss.2009.37.

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

Franz, Uwe. "Lévy process on real Lie algebras." In Proceedings of the First Sino-German Conference on Stochastic Analysis (A Satellite Conference of ICM 2002). WORLD SCIENTIFIC, 2004. http://dx.doi.org/10.1142/9789812702241_0011.

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

Man, K. L. "PAFESD: Process algebras for electronic system designs." In 2007 7th International Conference on ASIC. IEEE, 2007. http://dx.doi.org/10.1109/icasic.2007.4415579.

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

Liu, Yang, Jun Sun, and Jin Song Dong. "An analyzer for extended compositional process algebras." In Companion of the 13th international conference. ACM Press, 2008. http://dx.doi.org/10.1145/1370175.1370187.

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

"Choreography Conformace Checking based on Process Algebras." In 3rd International Conference on Cloud Computing and Services Science. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004379001350139.

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

Jacob, Grégoire, Eric Filiol, and Hervé Debar. "Formalization of Viruses and Malware Through Process Algebras." In Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE, 2010. http://dx.doi.org/10.1109/ares.2010.59.

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

Santone, Antonella. "Clone detection through process algebras and Java bytecode." In Proceeding of the 5th international workshop. ACM Press, 2011. http://dx.doi.org/10.1145/1985404.1985422.

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

Bernardo, Marco, Paolo Ciancarini, and Lorenzo Donatiello. "On the formalization of architectural types with process algebras." In the 8th ACM SIGSOFT international symposium. ACM Press, 2000. http://dx.doi.org/10.1145/355045.355064.

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

Reports on the topic "Process algebras"

1

Symanski, J. J. Architecture of the Systolic Linear Algebra Parallel Processor (SLAPP). Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada191770.

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

Bilousova, Liudmyla I., Liudmyla E. Gryzun, Daria H. Sherstiuk, and Ekaterina O. Shmeltser. Cloud-based complex of computer transdisciplinary models in the context of holistic educational approach. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3259.

Full text
Abstract:
The paper represents the authors’ cloud-based complex of computer dynamic models and their transdisciplinary facilities. Proper theoretical background for the complex design is elaborated and the process of the computer models development is covered. The models in the complex are grouped in the sections according to the curriculum subjects (Physics, Algebra, Geometry, Biology, Geography, and Informatics). Each of the sections includes proper models along with their description and transdisciplinary didactic support. The paper also presents recommendations as for using of the complex to provide
APA, Harvard, Vancouver, ISO, and other styles
3

Holzenthal, Elizabeth, and Bradley Johnson. Comparison of run-up models with field data. Engineer Research and Development Center (U.S.), 2024. https://doi.org/10.21079/11681/49470.

Full text
Abstract:
Run-up predictions are inherently uncertain, owing to ambiguities in phase-averaged models and inherent complexities of surf and swash-zone hydrodynamics. As a result, different approaches, ranging from simple algebraic expressions to computationally intensive phase-resolving models, have been used in attempt to capture the most relevant run-up processes. Studies quantifiably comparing these methods in terms of physical accuracy and computational speed are needed as new observation technologies and models become available. The current study tests the capability of the new swash formulation of
APA, Harvard, Vancouver, ISO, and other styles
4

Schoen, Robert C., Daniel Anderson, and Charity Bauduin. Elementary Mathematics Student Assessment: Measuring Grade 3, 4, and 5 Students’ Performace in Number (Whole Numbers and Fractions), Operations, and Algebraic Thinking in Spring 2016. Florida State University Library, 2018. http://dx.doi.org/10.33009/fsu.1653497279.

Full text
Abstract:
This report provides a description of the development process, field testing, and psychometric properties of a student mathematics test designed to assess grades 3, 4, and 5 student abilities. The test was administered to 2,754 participating grade 3, 4, and 5 students in 55 schools located in 10 public school districts in Florida during spring 2016. Focused on number (including whole number and fractions), operations, and algebraic thinking, the student assessment was designed to serve as a baseline measure of student achievement in a randomized controlled trial evaluating the impact of a teac
APA, Harvard, Vancouver, ISO, and other styles
5

Volikova, Maryna M., Tetiana S. Armash, Yuliia V. Yechkalo, and Vladimir I. Zaselskiy. Practical use of cloud services for organization of future specialists professional training. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3269.

Full text
Abstract:
The article is devoted to the peculiarities of the practical use of cloud services for the organization of qualitative professional training of future specialists. It is established that in order to implement state policy, there is an essential need for using various ICT, in particular cloud services, which are not only economically acceptable in the new educational environment, but also a powerful tools of obtaining new knowledge, skills and abilities. The advantages and disadvantages of using cloud services in the educational process of higher education are substantiated; the examples discus
APA, Harvard, Vancouver, ISO, and other styles
6

Bond, W., Maria Seale, and Jeffrey Hensley. A dynamic hyperbolic surface model for responsive data mining. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/43886.

Full text
Abstract:
Data management systems impose structure on data via a static representation schema or data structure. Information from the data is extracted by executing queries based on predefined operators. This paradigm restricts the searchability of the data to concepts and relationships that are known or assumed to exist among the objects. While this is an effective and efficient means of retrieving simple information, we propose that such a structure severely limits the ability to derive breakthrough knowledge that exists in data under the guise of “unknown unknowns.” A dynamic system will alleviate th
APA, Harvard, Vancouver, ISO, and other styles
7

Lovianova, Iryna V., Dmytro Ye Bobyliev, and Aleksandr D. Uchitel. Cloud calculations within the optional course Optimization Problems for 10th-11th graders. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3267.

Full text
Abstract:
The article deals with the problem of introducing cloud calculations into 10th-11th graders’ training to solve optimization problems in the context of the STEM-education concept. After analyzing existing programmes of optional courses on optimization problems, the programme of the optional course Optimization Problems has been developed and substantiated implying solution of problems by the cloud environment CoCalc. It is a routine calculating operation and not a mathematical model that is accentuated in the programme. It allows considering more problems which are close to reality without adap
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Process algebras' for particular source types:
Journal articles Dissertations / Theses Books
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