MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Graphical Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

A Graphical Calculus
by Sharon Curtis, Gavin Lowe — 1995 — Mathematics of Program Construction. Springer-Verlag LNCS 947
…A Graphical Calculus Sharon Curtis and Gavin Lowe Oxford University Computing Laboratory, Parks…
Cited by 6 (1 self) – Add To MetaCart

A Graphical Calculus for Name Mobility
by Dan Hirsch, Ugo Montanari
…. This method gives a solid foundation for graphical mobile calculus which are well-suited for high level…
Cited by 1 (0 self) – Add To MetaCart

A Formal Basis for Reasoning on Programmable QoS
by Rocco De Nicola, Gianluigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto — 2003 — International Symposium on Verification – Theory and Practice – Honoring Zohar Manna’s 64th Birthday, volume 2772 of LNCS
… a graphical calculus for mobility. In our approach QoS attributes are related to the programming…
Cited by 11 (10 self) – Add To MetaCart

The semantics of graphical languages
by Stephan Ellner — 2006 — 2006. Available in Informal Proceedings of DCC
…. To this end, this paper presents a graphical calculus called Uccello. Our key insight is that Ariola and Blom…
Cited by 2 (0 self) – Add To MetaCart

Proofs with Graphs
by Sharon Curtis, Gavin Lowe — 1995 — Science of Computer Programming
…, Oxford, OX1 3QD, UK. Abstract We present a graphical calculus, which allows mathematical formulae…
Cited by 3 (1 self) – Add To MetaCart

A Trace Model for Pointers and Objects
by C. A. R. Hoare, He Jifeng — 1999 — In Proc. 13th ECOOP, volume 1628 of LNCS
… and language for the formulation of assertions about objects and pointers, and suggests that a graphical…
Cited by 22 (2 self) – Add To MetaCart

Graphs for Core Molecular Biology
by Vincent Danos, Cosimo Laneve — 2003
… the graphic # calculus, as a graph rewriting system. We'll avoid a formalistic presentation and rely mostly…
Cited by 11 (0 self) – Add To MetaCart

Algebraic Graph Derivations for Graphical Calculi
by Wolfram Kahl — 1997 — Graph Theoretic Concepts in Computer Science (WG'96), volume 1197 of LNCS
… graphical calculus for making complex relation algebraic proofs more accessible. It turns out that, although…
Cited by 2 (1 self) – Add To MetaCart

Towards Automated Testing
by Towards Automated Testing, Ingrid M Rewitzky, Ingrid M Rewitzky — 2001 — Proceedings of the 5 th CAA conference, http://www.lboro.ac.uk/service/ltd/flicaa/conferences.html
… with a graphics calculus program. Each test had an MCQ component and a free response component, and all…
Add To MetaCart

An analytical method for investigating transient potentials in neurons with branching dendritic trees
by Barry Horwitz, Department Ofmathematics — 1981 — Biophys. J
… are not of the equivalent cylinder class. Butz and Cowan developed a graphical calculus that generates analytic solutions…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB