CONCUR 2010 - PDF Preprint Papers

CONCUR 2010 Seminar on Concurrency

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CONCUR-2010 Paper

click to vote

CONCUR
2010
Springer

304views Distributed And Parallel Com...» more CONCUR 2010»

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis

14 years 1 months ago

Download heim.ifi.uio.no

Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	304	Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis	claim
2	206	Buffered Communication Analysis in Distributed Multiparty Sessions	claim
3	200	Simulation Distances	claim
4	199	Modal Logic over Higher Dimensional Automata	claim
5	195	Information Flow in Interactive Systems	claim
6	190	Reasoning about Optimistic Concurrency Using a Program Logic for History	claim
7	189	Learning I/O Automata	claim
8	168	Conditional Automata: A Tool for Safe Removal of Negligible Events	claim
9	165	A Theory of Design-by-Contract for Distributed Multiparty Interactions	claim
10	164	Trust in Anonymity Networks	claim
11	162	Session Types as Intuitionistic Linear Propositions	claim
12	160	Session Types for Access and Information Flow Control	claim
13	158	Bisimilarity of One-Counter Processes Is PSPACE-Complete	claim
14	155	A Linear Account of Session Types in the Pi Calculus	claim
15	151	Mean-Payoff Automaton Expressions	claim
16	147	On the Compositionality of Round Abstraction	claim
17	137	Stochastic Real-Time Games with Qualitative Timed Automata Objectives	claim
18	136	Termination in Impure Concurrent Languages	claim
19	135	Reversing Higher-Order Pi	claim
20	134	A Logic for True Concurrency	claim
21	132	Nash Equilibria for Reachability Objectives in Multi-player Timed Games	claim
22	128	Parameterized Verification of Ad Hoc Networks	claim
23	125	On the Use of Non-deterministic Automata for Presburger Arithmetic	claim
24	124	Kleene, Rabin, and Scott Are Available	claim
25	123	Theory by Process	claim
26	121	Obliging Games	claim
27	116	Flat Coalgebraic Fixed Point Logics	claim
28	113	Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification	claim
29	113	Communicating Transactions - (Extended Abstract)	claim
30	110	A Geometric Approach to the Problem of Unique Decomposition of Processes	claim
31	108	Generic Forward and Backward Simulations II: Probabilistic Simulation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers