Výsledky vyhľadávania - Theory of computation Models of computation Concurrence Process calculi*

MoSAL: a Tile Logic Based Architecture Description Language for Mobile Software Applications.

Autori: Bouanaka, C. Belala, F.

Zdroj: International Review on Computers & Software; Jun2024, Vol. 19 Issue 1, p29-37, 9p

Determinacy and confluence in concurrent and synchronous process calculi ; Déterminisme et Confluence dans des systèmes concurrents et synchrones

Autori: Dogguy, Mehdi Laboratoire PPS Preuves, Programmes et Systèmes (PPS) a ďalší

Prispievatelia: Dogguy, Mehdi Laboratoire PPS Preuves, Programmes et Systèmes (PPS) a ďalší

Zdroj: https://theses.hal.science/tel-00690512 ; Calcul formel [cs.SC]. Université Paris-Diderot - Paris VII, 2012. Français. ⟨NNT : ⟩.

Predmety: concurrency, determinism, process calculi, synchrnous, signals, channels, concurrence, déterminisme, confluence, calculs de processus, synchrone, signaux, canaux, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnosť: https://theses.hal.science/tel-00690512
https://theses.hal.science/tel-00690512v1/document
https://theses.hal.science/tel-00690512v1/file/TheseMehdiDogguy.pdf

Determinacy and confluence in concurrent and synchronous process calculi

Autori: Dogguy, Mehdi

Prispievatelia: Dogguy, Mehdi

Predmety: process calculi, synchrnous, concurrence, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], determinism, signals, channels, canaux, synchrone, signaux, confluence, calculs de processus, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], concurrency, déterminisme

Popis súboru: application/pdf

Prístupová URL adresa: https://theses.hal.science/tel-00690512v1

Reversing P/T Nets

Autori: Hernán Melgratti Claudio Antares Mezzina Irek Ulidowski

Zdroj: Lecture Notes in Computer Science ISBN: 9783030223960
Coordination Models and Languages-21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Coordination Models and Languages

Predmety: Artificial intelligence, Computer Networks and Communications, Concurrency Modeling, Modeling and Control of Petri Nets in Systems, Geometry, Epistemology, 0102 computer and information sciences, 02 engineering and technology, Quantum mechanics, 01 natural sciences, Net (polyhedron), Theoretical computer science, Temporal Logic, Probabilistic Systems, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Petri Nets, Stochastic Petri Nets, Encoding (memory), Ideal (ethics), Physics, Semantics (computer science), Petri net, Computer science, Programming language, FOS: Philosophy, ethics and religion, Algorithm, Philosophy, Simplicity, Computational Theory and Mathematics, Causality (physics), Computer Science, Physical Sciences, Computation, Operational semantics, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control

Prístupová URL adresa: https://zenodo.org/record/3260311/files/main.pdf
https://rd.springer.com/chapter/10.1007/978-3-030-22397-7_2
https://hal.inria.fr/IFIP-LNCS-11533/hal-02365503
https://link.springer.com/chapter/10.1007%2F978-3-030-22397-7_2
https://doi.org/10.1007/978-3-030-22397-7_2
https://www.scilit.net/article/f8d19a835418f384916c5722d88b3698
https://dblp.uni-trier.de/db/conf/coordination/coordination2019.html#MelgrattiMU19

Reversible Computation: Extending Horizons of Computing

Autori: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz a ďalší

Typ zdroja: eBook.

Predmet: Reversible computing

Kategórie: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Effect of cubebin against streptozotocin-induced diabetic nephropathy rats via inhibition TNF-α/NF-κB/TGF-β: in vivo and in silico study.

Autori: Syed, Rahamat Unissa Moni, Sivakumar S. Hussein, Weiam a ďalší

Zdroj: Scientific Reports; 2/5/2025, Vol. 15 Issue 1, p1-26, 26p

Predmety: DIABETIC nephropathies, DIABETES complications, MEDICAL sciences, STREPTOZOTOCIN, LABORATORY rats

ENDO 2024 ABSTRACTS.

Zdroj: Journal of the Endocrine Society; 2024 Supplement, Vol. 8, pA1-A1192, 3359p

Predmety: MEDICAL sciences, CELL-free DNA, WEIGHT loss, ACUTE phase proteins, BROWN adipose tissue, THYROID cancer

Linear Process Algebra.

Autori: Pratt, Vaughan

Zdroj: Distributed Computing & Internet Technology (9783642190551); 2011, p92-111, 20p

Order algebras: a quantitative model of interaction.

Autori: BEFFARA, EMMANUEL

Zdroj: Mathematical Structures in Computer Science; Aug2018, Vol. 28 Issue 7, p1126-1168, 43p

Predmety: QUANTITATIVE research, LINEAR systems, MATHEMATICAL combinations, PERMUTATIONS, SEMANTICS

Design of embedded systems: formal models, validation, and synthesis.

Autori: Edwards, S. Lavagno, L. Lee, E.A. a ďalší

Zdroj: Proceedings of the IEEE; 1997, Vol. 85 Issue 3, p366-390, 25p

Formal Modeling and Analysis of a Secure Mobile-Agent System.

Autori: Lu Ma Tsai, Jeffrey J. P.

Zdroj: IEEE Transactions on Systems, Man & Cybernetics: Part A; Jan2008, Vol. 38 Issue 1, p180-196, 17p, 14 Diagrams, 6 Charts

Predmety: MOBILE agent systems, COMPUTER systems, INTELLIGENT agents, PETRI nets, SECURITY management, SYSTEMS design, GRAPH theory, FORMAL methods (Computer science)

A non-uniform finitary relational semantics of system T.

Autori: Vaux, Lionel

Zdroj: RAIRO - Theoretical Informatics & Applications; Jan2013, Vol. 47 Issue 1, p111-132, 22p

Predmety: DENOTATIONAL semantics, SYSTEMS theory, RECURSION theory, FUNCTIONALS, MATHEMATICAL proofs

2022 Annual Meeting of the American Society for Bone and Mineral Research, Austin, Texas, USA, September 9‐September 12, 2022.

Zdroj: Journal of Bone & Mineral Research; Feb2023 Supplement 1, Vol. 38, pS1-S364, 364p

34^th European Congress of Pathology - Abstracts.

Zdroj: Virchows Archiv: European Journal of Pathology; Sep2022 Suppl., Vol. 481, p1-364, 364p

Hypergraph Application on Business Process Performance.

Autori: Bouafia, Khawla Molnár, Bálint

Zdroj: Information; Sep2021, Vol. 12 Issue 9, p370, 1p

Predmety: ORGANIZATIONAL performance, REPRESENTATIONS of graphs, INFORMATION storage & retrieval systems, BIPARTITE graphs, PYTHON programming language

Strong Normalization in the π-calculus with Intersection and Union Types.

Autori: Piccolo, Mauro

Zdroj: Fundamenta Informaticae; 2012, Vol. 121 Issue 1-4, p227-252, 26p, 3 Charts

Predmety: CALCULUS, INTERSECTION theory, PROGRAMMING languages, MOBILE communication systems, COMPUTER security, ACCESS control, WEB-based user interfaces

Preface.

Autori: Aceto, Luca Ingólfsdóttir, Anna Larsen, Kim Guldstrand a ďalší

Zdroj: Reactive Systems; 2007, px-xvi, 7p

Engineering Self-modeling Systems: Application to Biology.

Autori: Bernon, Carole Capera, Davy Mano, Jean-Pierre

Zdroj: Engineering Societies in the Agents World IX; 2009, p248-263, 16p

33^rdEuropean Congress of Pathology – Abstracts.

Zdroj: Virchows Archiv: European Journal of Pathology; Aug2021 Suppelment 1, Vol. 479, p1-320, 320p

Logical Consequence and the Paradoxes.

Autori: Mares, Edwin Paoli, Francesco

Zdroj: Journal of Philosophical Logic; Jun2014, Vol. 43 Issue 2/3, p439-469, 31p

Predmety: PARADOX, EQUIVOCATION, SET theory, COMPARATIVE grammar, SEMANTICS