- CSP Archive - contains information relevant to the process algebra CSP (Communicating Sequential Processes.)
- WWW Virtual Library: Formal Methods - points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
- Hypertext Bibliography of Measures of Complexity - coveres some of the philosophical and practical references to the concept and measurement of complexity.
- Formal Methods Europe (FME) - worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
- Abstract State Machines: A Formal Method for Specification and Verification - project attempting to bridge the gap between formal models of computation and practical specification methods.
- Petri Nets World - provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
|
|
Explore the Worldviewer.com Network Sites
Telecommunications - wirelessiworld.com | Careers - xrayiworld.com | Biology reference - biologyiworld.com | - faxiworld.com | Sic 738 - photofinishingiworld.com | Who invented - inventioniworld.com | - anthropologyiworld.com | - foodcontainersiworld.com | Voice data communications - telecomiworld.com | Genetics - geneticsiworld.com | Astronomy telescope - astronomyiworld.com | Energy drink - drinksiworld.com | Middle east - womennfood.com | Mobi - satellitedishesiworld.com | New technology - techiworld.com | Food - foodsupplementsiworld.com | - answeringmachinesiworld.com | - technicalequipmentiworld.com | - electronicdevicesiworld.com | - clocksiworld.com
