Search Sciweavers | Sciweavers

852 search results - page 4 / 171

» entcs 2010

click to vote

ENTCS
2006

117views more ENTCS 2006»

Supporting Function Calls within PELCR

14 years 10 months ago

Download follia.di.unito.it

Antonio Cosentino, Marco Pedicini, Francesco Quagl...

claim paper

Read More »

click to vote

ENTCS
2006

98views more ENTCS 2006»

A Petri Net Semantics of a Simple Process Algebra for Mobility

14 years 10 months ago

Download www.cs.ncl.ac.uk

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

claim paper

Read More »

click to vote

ENTCS
2006

93views more ENTCS 2006»

Transformations of Petri Nets

14 years 10 months ago

Download tfs.cs.tu-berlin.de

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

claim paper

Read More »

click to vote

ENTCS
2006

116views more ENTCS 2006»

Practical Datatype Specializations with Phantom Types and Recursion Schemes

14 years 10 months ago

Download ttic.uchicago.edu

Matthew Fluet, Riccardo Pucella

claim paper

Read More »

click to vote

ENTCS
2006

119views more ENTCS 2006»

Cloning and Expanding Graph Transformation Rules for Refactoring

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers