Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Theory by process

From MaRDI portal
Publication:3584945
Jump to:navigation, search

DOI10.1007/978-3-642-15375-4_28zbMATH Open1287.68133OpenAlexW1608242581MaRDI QIDQ3584945FDOQ3584945


Authors: Yuxi Fu Edit this on Wikidata


Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_28




Recommendations

  • scientific article; zbMATH DE number 3963182
  • The \(\pi\)-calculus: An introduction
  • A calculus of mobile processes. II
  • scientific article; zbMATH DE number 1082078
  • A calculus of mobile processes. I


Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)



Cited In (7)

  • Receptive process theory
  • From computing to interaction: on the expressiveness of asynchronous pi-calculus
  • Processes, Terms and Cycles: Steps on the Road to Infinity
  • Theory Instantiation
  • Theory exploration powered by deductive synthesis
  • Processes and games
  • Process in Reality: A logical offering





This page was built for publication: Theory by process

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584945)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3584945&oldid=16994185"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 February 2024, at 03:03. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki