csp for java (jcsp) 1_0-rc7 api specification.mht

来自「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,」· MHT 代码 · 共 1,530 行 · 第 1/5 页

MHT
1,530 行
字号
12345
From: <由 Windows Internet Explorer 7 保存>
Subject: CSP for Java (JCSP) 1.0-rc7 API Specification
Date: Sat, 16 Jun 2007 16:38:19 +0800
MIME-Version: 1.0
Content-Type: multipart/related;
	type="multipart/alternative";
	boundary="----=_NextPart_000_003D_01C7B034.BF1B3DD0"
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028

This is a multi-part message in MIME format.

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: text/css;
	charset="gb2312"
Content-Transfer-Encoding: 7bit
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/stylesheet.css

BODY {
	BACKGROUND-COLOR: #ffffff
}
.TableHeadingColor {
	BACKGROUND: #ccccff
}
.TableSubHeadingColor {
	BACKGROUND: #eeeeff
}
.TableRowColor {
	BACKGROUND: #ffffff
}
.FrameTitleFont {
	FONT-FAMILY: normal
}
.FrameHeadingFont {
	FONT-FAMILY: normal
}
.FrameItemFont {
	FONT-FAMILY: normal
}
.NavBarCell1 {
	BACKGROUND-COLOR: #eeeeff
}
.NavBarCell1Rev {
	BACKGROUND-COLOR: #00008b
}
.NavBarFont1 {
	COLOR: #000000; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarFont1Rev {
	COLOR: #ffffff; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarCell2 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}
.NavBarCell3 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_001_0040_01C7B034.BF1DAED0"


------=_NextPart_001_0040_01C7B034.BF1DAED0
Content-Type: text/html;
	charset="gb2312"
Content-Transfer-Encoding: quoted-printable
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" =
"http://www.w3c.org/TR/1999/REC-html401-19991224/frameset.dtd">
<!--NewPage--><HTML><HEAD><TITLE>CSP for Java (JCSP) 1.0-rc7 API =
Specification</TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dgb2312"><!-- Generated by javadoc on Tue Dec 19 22:47:44 GMT =
2006-->
<META content=3D"MSHTML 6.00.5730.11" name=3DGENERATOR></HEAD><FRAMESET=20
cols=3D20%,80%><FRAMESET rows=3D30%,70%><FRAME name=3DpackageListFrame=20
src=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/o=
verview-frame.html"><FRAME=20
name=3DpackageFrame=20
src=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/a=
llclasses-frame.html"></FRAMESET><FRAME=20
name=3DclassFrame=20
src=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/o=
verview-summary.html"></FRAMESET></HTML>

------=_NextPart_001_0040_01C7B034.BF1DAED0
Content-Type: text/html;
	charset="gb2312"
Content-Transfer-Encoding: quoted-printable
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/overview-frame.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" =
"http://www.w3c.org/TR/1999/REC-html401-19991224/loose.dtd">
<!--NewPage--><HTML><HEAD><TITLE>CSP for Java (JCSP) 1.0-rc7 API =
Specification: Overview</TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dgb2312"><!-- Generated by javadoc on Tue Dec 19 22:47:44 GMT =
2006 --><LINK=20
title=3DStyle=20
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
stylesheet.css"=20
type=3Dtext/css rel=3Dstylesheet>
<META content=3D"MSHTML 6.00.5730.11" name=3DGENERATOR></HEAD>
<BODY bgColor=3Dwhite>
<TABLE width=3D"100%" border=3D0>
  <TBODY>
  <TR>
    <TD noWrap><FONT class=3DFrameTitleFont size=3D+1><B><B>CSP for =
Java<BR>(JCSP)=20
      1.0-rc7</B></B></FONT></TD></TR></TBODY></TABLE>
<TABLE width=3D"100%" border=3D0>
  <TBODY>
  <TR>
    <TD noWrap><FONT class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
allclasses-frame.html"=20
      target=3DpackageFrame>All Classes</A></FONT>=20
      <P><FONT class=3DFrameHeadingFont size=3D+1>Packages</FONT> =
<BR><FONT=20
      class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/package-frame.html"=20
      target=3DpackageFrame>jcsp.awt</A></FONT> <BR><FONT =
class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/lang/package-frame.html"=20
      target=3DpackageFrame>jcsp.lang</A></FONT> <BR><FONT =
class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/package-frame.html"=20
      target=3DpackageFrame>jcsp.plugNplay</A></FONT> <BR><FONT=20
      class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/plugNplay/ints/package-frame.html"=20
      target=3DpackageFrame>jcsp.plugNplay.ints</A></FONT> <BR><FONT=20
      class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/package-frame.html"=20
      target=3DpackageFrame>jcsp.util</A></FONT> <BR><FONT =
class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/util/ints/package-frame.html"=20
      target=3DpackageFrame>jcsp.util.ints</A></FONT> =
<BR></P></TD></TR></TBODY></TABLE>
<P> </P></BODY></HTML>

------=_NextPart_001_0040_01C7B034.BF1DAED0--

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: text/css;
	charset="gb2312"
Content-Transfer-Encoding: 7bit
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/stylesheet.css

BODY {
	BACKGROUND-COLOR: #ffffff
}
.TableHeadingColor {
	BACKGROUND: #ccccff
}
.TableSubHeadingColor {
	BACKGROUND: #eeeeff
}
.TableRowColor {
	BACKGROUND: #ffffff
}
.FrameTitleFont {
	FONT-FAMILY: normal
}
.FrameHeadingFont {
	FONT-FAMILY: normal
}
.FrameItemFont {
	FONT-FAMILY: normal
}
.NavBarCell1 {
	BACKGROUND-COLOR: #eeeeff
}
.NavBarCell1Rev {
	BACKGROUND-COLOR: #00008b
}
.NavBarFont1 {
	COLOR: #000000; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarFont1Rev {
	COLOR: #ffffff; FONT-FAMILY: Arial, Helvetica, sans-serif
}
.NavBarCell2 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}
.NavBarCell3 {
	FONT-FAMILY: Arial, Helvetica, sans-serif; BACKGROUND-COLOR: #ffffff
}

------=_NextPart_000_003D_01C7B034.BF1B3DD0
Content-Type: text/html;
	charset="gb2312"
Content-Transfer-Encoding: quoted-printable
Content-Location: http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/allclasses-frame.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" =
"http://www.w3c.org/TR/1999/REC-html401-19991224/loose.dtd">
<!--NewPage--><HTML><HEAD><TITLE>All Classes</TITLE>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dgb2312"><!-- Generated by javadoc on Tue Dec 19 22:47:44 GMT =
2006 --><LINK=20
title=3DStyle=20
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
stylesheet.css"=20
type=3Dtext/css rel=3Dstylesheet>
<META content=3D"MSHTML 6.00.5730.11" name=3DGENERATOR></HEAD>
<BODY bgColor=3Dwhite><FONT class=3DFrameHeadingFont size=3D+1><B>All=20
Classes</B></FONT> <BR>
<TABLE width=3D"100%" border=3D0>
  <TBODY>
  <TR>
    <TD noWrap><FONT class=3DFrameItemFont><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveApplet.html"=20
      target=3DclassFrame>ActiveApplet</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveApplet.Configure.html"=20
      target=3DclassFrame><I>ActiveApplet.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButton.html"=20
      target=3DclassFrame>ActiveButton</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButton.Configure.html"=20
      target=3DclassFrame><I>ActiveButton.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButtonControl.html"=20
      target=3DclassFrame>ActiveButtonControl</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButtonControl.BadArguments.html"=20
      target=3DclassFrame>ActiveButtonControl.BadArguments</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButtonState.html"=20
      target=3DclassFrame>ActiveButtonState</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveButtonState.BadArguments.html"=20
      target=3DclassFrame>ActiveButtonState.BadArguments</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveCanvas.html"=20
      target=3DclassFrame>ActiveCanvas</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveCheckbox.html"=20
      target=3DclassFrame>ActiveCheckbox</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveCheckbox.Configure.html"=20
      target=3DclassFrame><I>ActiveCheckbox.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveCheckboxMenuItem.html"=20
      target=3DclassFrame>ActiveCheckboxMenuItem</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveCheckboxMenuItem.Configure.html"=20
      target=3DclassFrame><I>ActiveCheckboxMenuItem.Configure</I></A> =
<BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveChoice.html"=20
      target=3DclassFrame>ActiveChoice</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveChoice.Configure.html"=20
      target=3DclassFrame><I>ActiveChoice.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveClosingFrame.html"=20
      target=3DclassFrame>ActiveClosingFrame</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveComponent.html"=20
      target=3DclassFrame>ActiveComponent</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveComponent.Configure.html"=20
      target=3DclassFrame><I>ActiveComponent.Configure</I></A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveContainer.html"=20
      target=3DclassFrame>ActiveContainer</A> <BR><A=20
      =
href=3D"http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp1-0-rc7/jcsp-docs/=
jcsp/awt/ActiveContainer.Configure.html"=20
      target=3DclassFrame><I>ActiveContainer.Configure</I></A> <BR><A=20
12345

csp for java (jcsp) 1_0-rc7 api specification.mht - 源码说明

本页面展示了「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,有大量的范例,我们导师很看好的东西」中的 csp for java (jcsp) 1_0-rc7 api specification.mht 源码文件，采用 MHT 编程语言编写，共 1,530 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫开发者社区收录了大量与进程代数相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?