Connexions

Sections
You are here: Home » Content » Concurrent Programming and Verification: Outline

About: Concurrent Programming and Verification: Outline

Module by: Ian Barland, John Greiner, Moshe Vardi. E-mail the authors

View content

Metadata

Name: Concurrent Programming and Verification: Outline
ID: m12311
Language: English (en)
Summary:
Subject: Mathematics and Statistics
Keywords: Concurrency, Logic, Temporal Logic
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 1.12 (history)
First publication date: Jul 19, 2004 10:58 am GMT-5
Last revision to module: Apr 7, 2007 4:45 pm GMT-5
Module XML: m12311_1.12.cnxml

Version History

Version: 1.12 Apr 7, 2007 4:45 pm GMT-5 by Ian Barland
Changes: 
Add links to jspin, spinspider
Version: 1.11 Oct 6, 2005 3:37 pm GMT-5 by John Greiner
Changes: 
minor edit
Version: 1.10 Aug 10, 2005 2:17 pm GMT-5 by Ian Barland
Changes: 
Fixed links to homework modules.
Version: 1.9 Jul 26, 2005 6:14 pm GMT-5 by Ian Barland
Changes: 
Updated text.
Version: 1.8 Jul 26, 2005 5:53 pm GMT-5 by Ian Barland
Changes: 
role update
Version: 1.7 Jan 20, 2005 1:54 pm US/Central by Ian Barland
Changes: 
(no changes)
Version: 1.6 Aug 11, 2004 9:34 am GMT-5 by Bri
Changes: 
presentation
Version: 1.5 Jul 29, 2004 10:34 am GMT-5 by Bri
Changes: 
rename
Version: 1.4 Jul 26, 2004 4:28 pm GMT-5 by Bri
Changes: 
links
Version: 1.3 Jul 19, 2004 2:59 pm GMT-5 by Bri
Changes: 
none
Version: 1.2 Jul 19, 2004 11:53 am GMT-5 by Bri
Changes: 
links
Version: 1.1 Jul 19, 2004 11:18 am GMT-5 by Bri
Changes: 
new sections

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: Ian Barland, John Greiner, Moshe Vardi
  • the title of the work: Concurrent Programming and Verification: Outline
  • the Connexions URL where the work can be found: http://cnx.org/content/m12311/1.12/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I.; Greiner, J.; Vardi, M. Concurrent Programming and Verification: Outline, Connexions Web site. http://cnx.org/content/m12311/1.12/, Apr 7, 2007.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Vardi M. Concurrent Programming and Verification: Outline [Connexions Web site]. April 7, 2007. Available at: http://cnx.org/content/m12311/1.12/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., & Vardi, M. (2007, April 7). Concurrent Programming and Verification: Outline. Retrieved from the Connexions Web site: http://cnx.org/content/m12311/1.12/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, and Moshe Vardi. "Concurrent Programming and Verification: Outline." Connexions. April 7, 2007. http://cnx.org/content/m12311/1.12/.

Chicago Manual of Style (Note):

Ian Barland, John Greiner, and Moshe Vardi, "Concurrent Programming and Verification: Outline," Connexions, April 7, 2007, http://cnx.org/content/m12311/1.12/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Greiner, J., & Vardi, M. 2007. Concurrent Programming and Verification: Outline. Connexions, April 7, 2007. http://cnx.org/content/m12311/1.12/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, and Moshe Vardi. Concurrent Programming and Verification: Outline. Connexions. 7 Apr. 2007 <http://cnx.org/content/m12311/1.12/>.