2000年、スーパーヒーロー・パロディコミック『Battle Pope』（作画:トニー・ムーア）を自費出版してコミック界にデビューした。2003年、ムーアと共にグラフィックノベル『ザ・ウォーキング・デッド』の出版を開始した。ムーアは締め切りに苦労して降板し、第7号よりチャーリー・アドラードに代わった。同年、カークマンとコリー・ウォーカーはイメージ・コミックで新たなヒーロー作品『Invincible』を創造した。後に締め切りの遅れのためにウォーカーは降板し、ライアン・オットリーに代わった。2005年にパラマウント映画が映画化権を獲得し、カークマンを脚本家として雇ったが、未だ実現に至っていない。カークマンは1990年代の『Sleepwalker』を復活させるためにマーベル・コミックに雇われたが、シリーズの出版は中止された。その第1話のみ、『Epic Anthology』第1号（2004年）に収録された。2010年、プロデューサーのデヴィッド・アルパートと共に、コミックを含む各種マルチメディアのパブリッシング（出版・販売）を行なう『Skybound Entertainment』を創立し、カークマンは会長（Chairman）に就任。同年、『ザ・ウォーキング・デッド』はテレビドラマ化され、パイロット版はフランク・ダラボンが監督した。カークマンは第1シーズン第4話「弱肉強食」など数回脚本を書いている。2016年に『アウトキャスト』がテレビドラマ化され、カークマンは数回脚本を書いている。
history monoid は、相互に通信するプロセスの履歴を表現できる汎用的な free object である。その場合、プロセス計算は一定の方式で history monoid 上に課された形式言語である。すなわち、history monoid は同期を含めたイベントの並びだけを記録するが、その際の状態遷移は記録しない。従って、history monoid にとってのプロセス計算は、free monoid にとっての形式言語と同じである（形式言語は、クリーネ閉包で生成可能なアルファベットの有限長文字列の集合の部分集合である）。ペトリネットやアクターモデルといった他の並行計算モデルとの違いは、通信路を使った通信を行う点である。通信路を含めたのは、それによってある種の代数学的手法が可能になるためであり、それによってプロセスを代数学的に理解しやすくなっている。
20世紀前半、非形式的な概念だった「計算可能関数」を表現する形式手法として、μ再帰関数、チューリングマシン、ラムダ計算などが提案された。これらは相互に変換可能であり、等価であることから、チャーチ＝チューリングのテーゼが提唱された。もう1つの特徴はあまり言及されない。これらはいずれも「逐次的」計算のモデルだったのである。計算機科学の次の段階の発展において、並行性と通信を明確に表現できる計算の記法の確立が必要とされた。そのような状況で生まれたのが、プロセス計算、ペトリネット、アクターモデルなどの並行性モデルである。プロセス計算の研究は、ロビン・ミルナーが1973年から1980年にかけて行った Calculus of Communicating Systems (CCS) の研究が最初であった。アントニー・ホーアの Communicating Sequential Processes (CSP) は1978年に発表され、そこから1980年代初めにかけて完全なプロセス計算の研究が行われた。CCS と CSP をさらに発展させようという研究も行われた。1982年、Jan Bergstra と Jan Willem Klop は後に Algebra of Communicating Processes (ACP) と呼ばれるものの研究を開始し、「プロセス代数（Process algebra）」という用語を生み出した。CCS と CSP と ACP がプロセス計算のファミリーを形成し、その後の様々なプロセス計算の源流となっている。
プロセス計算には一般に相互作用点を持たない Null プロセスも含まれる（、、、 など様々な表記法がある）。Null プロセスは何もせず、再帰的なプロセス生成の始点（または終点）として使われる。
科学的・客観的な情報を軽視する一方で、断片的な警察情報や取材結果などを根拠にマスコミが独自に描いた疑惑の構図の中で、メディアスクラムの発生とさらなる過熱取材によって特定の取材対象に対するメディア・リンチの様相を呈することがある。その結果として、取材対象やその家族の日常生活・人間関係・経済環境・名誉、場合によってはその家庭すらをも徹底的に破壊し尽くして、取材対象とした人物を一個の人間としても再起不能の状態に追い込む、いわゆる「社会的抹殺」という状況に追い込んでゆく事態を引き起こすことがある。メディアスクラムはメディアパニッシュメント（犯人視報道・報道断罪）の問題とも密接に結びついており、万一にも、マスコミが本格捜査前から犯人と決め付けて扱い事実上の「社会的抹殺」の状況に追い込んだ人物が、警察の本格捜査で真相が明らかになってみれば無関係であったり、さらには被害者であったことが明らかとなった場合には、いくら謝罪の意を示そうと収拾がつかないことになる。だが、マスコミが「犯人」扱いしたことでその人物から奪った名誉・生活基盤・社会的地位・職位・収入などを、マスコミ関係者が責任をとって回復させることは期待できず、メディアスクラムによる報道被害を被った人物はその後の生涯にわたって誤解・偏見・社会的疎外・経済的困窮などに苦しめ続けられ、社会人としての再起はおろか、もはや人間としての尊厳すら取り戻せないこともある。さらには、マスコミ報道が過熱した結果として、直接の事件・スキャンダルの当事者のみならず、その周囲の人物の心身をも追い詰め著しく疲弊させ、精神疾患・アルコール使用障害・一家離散・自殺などにの結果に至らせることもある。また、目前で起こされた事件に大きな精神的ショックを受けている児童たちにマイクを次々と突きつけて強引に感想や泣き顔を引き出そうとするなど、刺激的な映像が欲しいために被害者や目撃者の心理を無視したり心的外傷をわざわざ刺激するような非常識な取材を行った事例も附属池田小事件を始め枚挙にいとまがない。同様に、マスコミ報道で何度も紹介された結果、事件現場や容疑者・被害者の自宅がある種の時事ネタ的な観光地と化してしまい、週末に野次馬が押し寄せたり、何台もの観光バスが現場近くの路地までわざわざ入り込んできたり、悪質ないたずらや器物損壊・放火などのさらなる犯罪行為を招くこともある。このようなマスコミの取材姿勢やそれによる悪影響が事件の捜査や後の審理にも悪影響を及ぼしかねないものとなることもあり、実際に被告の自宅が一時的に観光地化した挙句に放火されるなどの事態が発生した和歌山毒物カレー事件の和歌山地裁での裁判では、判決に際して裁判長がマスコミに対して厳しい苦言を呈している。