Searching for "Relations in Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

378 documents found, showing 1 through 10. Next 10 →

An application of the proportional relation to concurrent estimation
by Fumio Ishizaki, George C. Lin, Tatsuya Suda — Institute of Electrical and Electronics Engineers. Transactions on Automatic Control
… of the Proportional Relation to Concurrent Estimation Fumio Ishizaki, George C. Lin, and Tatsuya Suda Abstract…
Cited by 1 (1 self) – Add To MetaCart

Relations in Concurrency Invited talk (corrected version)
by unknown authors
…Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge…
Add To MetaCart

Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications
by Cristina Videira Lopes, Karl J. Lieberherr — 1994 — European Conference on Object-Oriented Programming
…Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications ? Cristina…
Cited by 34 (9 self) – Add To MetaCart

On Relating Some Models for Concurrency
by Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna — 1993 — TAPSOFT'93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science
…On Relating Some Models for Concurrency Pierpaolo Degano Roberto Gorrieri Sebastiano Vigna…
Cited by 13 (1 self) – Add To MetaCart

Concurrency Control with Java and Relational Databases
by Sergio Soares, Paulo Borba — 2002
…Concurrency Control with Java and Relational Databases Abstract As web–based information systems…
Cited by 8 (6 self) – Add To MetaCart

Muvi: Automatically inferring multi-variable access correlations and detecting related semantic
by Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou — 2007 — In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP07
…-variable related concurrency bugs. The former is general to both sequential and concurrent programs, but has never…
Cited by 3 (2 self) – Add To MetaCart

A Polynomial Algorithm to Compute the Concurrency Relation of Free-choice Signal Transition Graphs
by Andrei Kovalyov, Javier Esparza — 1995 — In Proc. of the International Workshop on Discrete Event Systems (WODES
…A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs…
Cited by 12 (2 self) – Add To MetaCart

Constant-Round Concurrent NMWI and its relation to NMZK
by Rafail Ostrovsky, Ivan Visconti — 2007
…Constant-Round Concurrent NMWI and its relation to NMZK Rafail Ostrovsky ∗ Giuseppe Persiano…
Cited by 1 (1 self) – Add To MetaCart

Petri's Axioms of Concurrency A Selection of Recent Results
by Olaf Kummer, Mark-Oliver Stehr — 1997 — In P. Az#ma and G. Balbo (eds), 20th ICATPN
…,stehrg@(email omitted); Abstract Concurrency theory, as developed by Carl Adam Petri, is an axiomatic theory of binary relations…
Cited by 2 (0 self) – Add To MetaCart

A categorical approach to simulations
by Miguel Palomino, José Meseguer, Narciso Martí-oliet — 2005 — In CALCO
…@(email omitted); Abstract. Simulations are a very natural way of relating concurrent systems, which are mathematically…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB