IANDC 2002 - PDF Preprint Papers

IANDC 2002

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed IANDC-2002 Paper

click to vote

IANDC
2002

107views more IANDC 2002»

Simulation Preorder over Simple Process Algebras

13 years 4 months ago

Download www.fi.muni.cz

Antonín Kucera, Richard Mayr

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	107	Simulation Preorder over Simple Process Algebras	claim
2	84	Decidability of Split Equivalence	claim
3	75	Types for the Ambient Calculus	claim
4	72	Syntactic Type Soundness Results for the Region Calculus	claim
5	61	Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution	claim
6	61	On Complexity of Easy Predictable Sequences	claim
7	60	Foundations for Extensible Objects with Roles	claim
8	59	Type Inference for Variant Object Types	claim
9	55	The Complexity of Propositional Linear Temporal Logics in Simple Cases	claim
10	54	Prelogical Relations	claim
11	53	Aliasing Models for Mobile Objects	claim
12	51	Secure Implementation of Channel Abstractions	claim
13	50	The Small Model Property: How Small Can It Be?	claim
14	49	Preprocessing of Intractable Problems	claim
15	49	A Monadic Second-Order Definition of the Structure of Convex Hypergraphs	claim
16	49	A Characterisation of Multiply Recursive Functions with Higman's Lemma	claim
17	47	Type Destructors	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers