Metric spaces as models for real−time concurrency

Metric spaces as models for real−time concurrency

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Roscoe, A, Reed, G
বিন্যাস:	Conference item
প্রকাশিত:	Springer 1988

অনুরূপ উপাদানগুলি

Analysing TM_FS: a study of nondeterminism in real−time concurrency
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1991)

Translating between models of concurrency
অনুযায়ী: Mestel, D, অন্যান্য
প্রকাশিত: (2020)

The timed failures−stability model for Timed CSP
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1996)

Understanding Concurrent Systems
অনুযায়ী: Roscoe, A
প্রকাশিত: (2010)

The theory and practice of concurrency
অনুযায়ী: Roscoe, A
প্রকাশিত: (1998)

The timed failures - stability model for CSP
অনুযায়ী: Reed, G, অন্যান্য
প্রকাশিত: (1999)

A timed model for communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)

A timed model for communicating sequential processes
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1986)

Concurrent and real-time programming in java /
অনুযায়ী: 326151 Wellings, Andrew J.
প্রকাশিত: (2004)

Organizational Implications of “Real-Time Concurrent Engineering”
অনুযায়ী: Stagney, David B.
প্রকাশিত: (2013)

Issues for concurrent programming in real-time systems /
অনুযায়ী: 355517 Kaddour, N. Ould, অন্যান্য

Convexity and the Euclidean Metric of Space-Time
অনুযায়ী: Nikolaos Kalogeropoulos
প্রকাশিত: (2017-02-01)

Real-Time Multiobject Tracking Based on Multiway Concurrency
অনুযায়ী: Xuan Gong, অন্যান্য
প্রকাশিত: (2021-01-01)

Quantum Models à la Gabor for the Space-Time Metric
অনুযায়ী: Gilles Cohen-Tannoudji, অন্যান্য
প্রকাশিত: (2022-06-01)

On the topology of D-metric spaces and generation of D-metric spaces from metric spaces
অনুযায়ী: S. V. R. Naidu, অন্যান্য
প্রকাশিত: (2004-01-01)

Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1998)

The Quasisymmetric Mappings under the Quasihyperbolic Metric in Real Banach Spaces
অনুযায়ী: Caicai Hu, অন্যান্য
প্রকাশিত: (2022-01-01)

Visualizing Concurrency Control Algorithms for Real-Time Database Systems
অনুযায়ী: Olusegun Folorunso, অন্যান্য
প্রকাশিত: (2008-11-01)

A lattice of conditions on topological spaces
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1985)

Description of execution time dynamics for a set of concurrent real-time tasks
অনুযায়ী: Pedro Guevara López, অন্যান্য
প্রকাশিত: (2012-11-01)

Description of execution time dynamics for a set of concurrent real-time tasks
অনুযায়ী: Pedro Guevara López, অন্যান্য
প্রকাশিত: (2011-01-01)

A lattice of conditions on topological spaces II
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1991)

Real Time Agile Metrics for Measuring Team Performance
অনুযায়ী: Eduard BUDACU, অন্যান্য
প্রকাশিত: (2018-01-01)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
অনুযায়ী: 180279 Bowman, Howard, অন্যান্য
প্রকাশিত: (2006)

Emergent metric space-time from matrix theory
অনুযায়ী: Suddhasattwa Brahma, অন্যান্য
প্রকাশিত: (2022-09-01)

Metric spaces /
অনুযায়ী: 428224 Copson, Edward Thomas
প্রকাশিত: (1968)

Concurrent, Real-Time and Distributed Programming in Java : Threads, RTSJ and RMI /
অনুযায়ী: Benmammar, Badr, author
প্রকাশিত: (2018)

Fixed point theorems in metric spaces and probabilistic metric spaces
অনুযায়ী: Yeol Je Cho, অন্যান্য
প্রকাশিত: (1996-01-01)

The active time model of concurrent choice.
অনুযায়ী: J Mark Cleaveland
প্রকাশিত: (2024-01-01)

Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence
অনুযায়ী: Gunther Jäger, অন্যান্য
প্রকাশিত: (2018-04-01)

Developing metrics for concurrent engineering at Raytheon Company's Surface Radar Group
অনুযায়ী: Tedesco, Catherine Anne Coles, 1974-
প্রকাশিত: (2014)

Extensions of semi-Hölder real valued functions on a quasi-metric space
অনুযায়ী: Costică Mustăţa
প্রকাশিত: (2009-08-01)

Extensions of semi-Hölder real valued functions on a quasi-metric space
অনুযায়ী: Costică Mustăţa
প্রকাশিত: (2009-08-01)

On Topological and Metric Properties of ⊕-sb-Metric Spaces
অনুযায়ী: Alexander Šostak, অন্যান্য
প্রকাশিত: (2023-09-01)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
অনুযায়ী: Antonino, P, অন্যান্য
প্রকাশিত: (2019)

The geometry of autonomous metrical multi-time Lagrange space of electrodynamics
অনুযায়ী: Mircea Neagu
প্রকাশিত: (2002-01-01)

The Space-Time Metric Outside a Pulsating Charged Sphere
অনুযায়ী: Daniele Funaro
প্রকাশিত: (2022-07-01)

A Unification of G-Metric, Partial Metric, and b-Metric Spaces
অনুযায়ী: Nawab Hussain, অন্যান্য
প্রকাশিত: (2014-01-01)

ĆIRIĆ-TYPE RESULTS IN QUASI-METRIC SPACES AND 𝐺-METRIC SPACES USING SIMULATION FUNCTION
অনুযায়ী: Sejal V. Puvar, অন্যান্য
প্রকাশিত: (2022-03-01)

Timed CSP: Theory and Practice
অনুযায়ী: Schneider, S, অন্যান্য
প্রকাশিত: (1991)