Search Sciweavers | Sciweavers

19367 search results - page 191 / 3874

» Fine-Grain Process Modelling

166

click to vote

FTDCS
1997
IEEE

102views Distributed And Parallel Com...» more FTDCS 1997»

Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist?

15 years 7 months ago

Download wwwhome.cs.utwente.nl

This paper identiﬁes two paradigms that inﬂuence the design of telematics systems nowadays: the protocol-centred and the object-centred paradigm. Both paradigms have been intr...

Marten van Sinderen, Luís Ferreira Pires

claim paper

Read More »

113

click to vote

ISSS
1997
IEEE

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

15 years 7 months ago

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de ...

claim paper

Read More »

121

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 7 months ago

Download www.ieee-icnp.org

Hong Liu, Raymond E. Miller

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 7 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

click to vote

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers