Back to Results
First PageMeta Content
Computer science / Logic / Predicate logic / Process calculi / Π-calculus / Lambda calculus / Explicit substitution / Free variables and bound variables / Symbol / Theoretical computer science / Mathematics / Applied mathematics


GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science
Add to Reading List

Document Date: 2009-02-19 09:48:16

Open Document

File Size: 273,67 KB

Share Result on Facebook

Company

Bigraphical Reactive Systems / Higher-Order Mobile Embedded Resources / /

/

Facility

Theoretical Computer Science IT University of Copenhagen Denmark Abstract Bigraphs / /

IndustryTerm

latter solution / i0 th site / parallel product / tile systems / prime parallel product / /

Organization

Danish Research Agency / U.S. Securities and Exchange Commission / United Nations / Theoretical Computer Science IT University of Copenhagen Denmark Abstract Bigraphs / /

Product

Pentax K-x Digital Camera / /

Technology

functional programming / firewall / /

URL

www.elsevier.nl/locate/entcs / /

SocialTag