Search Sciweavers | Sciweavers

11324 search results - page 156 / 2265

» Coordination Models and Languages

185

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

147

click to vote

ASPLOS
1996
ACM

103views Programming Languages» more ASPLOS 1996»

An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors

15 years 10 months ago

Download www.hpl.hp.com

Vijay S. Pai, Parthasarathy Ranganathan, Sarita V....

claim paper

Read More »

167

click to vote

UML
1997
Springer

267views Natural Language Processing» more UML 1997»

Business Process Modeling with EPC and UML: Transformation or Integration?

15 years 10 months ago

Download www.wiso.uni-hamburg.de

Markus Nüttgens, Thomas Feld, Volker Zimmerma...

claim paper

Read More »

121

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 10 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

131

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers